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

../
aac-tactics_8.20.0-1+ocaml1.debian.tar.xz          25-Apr-2026 08:22                3884
aac-tactics_8.20.0-1+ocaml1.dsc                    25-Apr-2026 08:22                1224
aac-tactics_8.20.0-1+ocaml1_amd64-2026-04-25T02..> 25-Apr-2026 08:22              114894
aac-tactics_8.20.0-1+ocaml1_amd64.build            25-Apr-2026 08:22              114894
aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo        25-Apr-2026 08:22                6626
aac-tactics_8.20.0-1+ocaml1_amd64.changes          25-Apr-2026 08:22                2377
aac-tactics_8.20.0.orig.tar.gz                     25-Apr-2026 08:21               77668
libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64..> 25-Apr-2026 08:22               13744
libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb       25-Apr-2026 08:22              393016