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

../
aac-tactics_8.20.0-1+ocaml20250313.debian.tar.xz   13-Mar-2025 11:56                3888
aac-tactics_8.20.0-1+ocaml20250313.dsc             13-Mar-2025 11:56                1252
aac-tactics_8.20.0-1+ocaml20250313_amd64-2025-0..> 13-Mar-2025 11:56              118170
aac-tactics_8.20.0-1+ocaml20250313_amd64.build     13-Mar-2025 11:56              118170
aac-tactics_8.20.0-1+ocaml20250313_amd64.buildinfo 13-Mar-2025 11:56                7218
aac-tactics_8.20.0-1+ocaml20250313_amd64.changes   13-Mar-2025 11:56                2484
aac-tactics_8.20.0.orig.tar.gz                     13-Mar-2025 11:56               77668
libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml2025031..> 13-Mar-2025 11:56               13588
libcoq-aac-tactics_8.20.0-1+ocaml20250313_amd64..> 13-Mar-2025 11:56              394444