Index of /backports/20260106/pool/aac-tactics/

../
aac-tactics_8.20.0-1+ocaml1.debian.tar.xz          06-Jan-2026 07:22                3880
aac-tactics_8.20.0-1+ocaml1.dsc                    06-Jan-2026 07:22                1224
aac-tactics_8.20.0-1+ocaml1_amd64-2026-01-06T07..> 06-Jan-2026 07:22              113608
aac-tactics_8.20.0-1+ocaml1_amd64.build            06-Jan-2026 07:22              113608
aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo        06-Jan-2026 07:22                6556
aac-tactics_8.20.0-1+ocaml1_amd64.changes          06-Jan-2026 07:21                2363
aac-tactics_8.20.0.orig.tar.gz                     06-Jan-2026 07:22               77668
libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64..> 06-Jan-2026 07:22               13796
libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb       06-Jan-2026 07:22              393212