Index of /backports/20260811/repo/pool/aac-tactics/

../
aac-tactics_9.0.0-4+ocaml1.debian.tar.xz           11-Aug-2026 10:35                4072
aac-tactics_9.0.0-4+ocaml1.dsc                     11-Aug-2026 10:35                1214
aac-tactics_9.0.0-4+ocaml1_amd64-2026-08-11T09:..> 11-Aug-2026 10:35              132576
aac-tactics_9.0.0-4+ocaml1_amd64.build             11-Aug-2026 10:35              132576
aac-tactics_9.0.0-4+ocaml1_amd64.buildinfo         11-Aug-2026 10:35                6405
aac-tactics_9.0.0-4+ocaml1_amd64.changes           11-Aug-2026 10:35                2004
aac-tactics_9.0.0.orig.tar.gz                      11-Aug-2026 10:35               70184
libcoq-aac-tactics_9.0.0-4+ocaml1_amd64.deb        11-Aug-2026 10:35              396684