Index of /pool/main/a/aac-tactics/

../
aac-tactics_8.17.0-1.debian.tar.xz                 08-May-2024 13:05                3552
aac-tactics_8.17.0-1.dsc                           08-May-2024 13:05                2108
aac-tactics_8.17.0-1_riscv64.buildinfo             27-Jun-2026 14:01                6276
aac-tactics_8.17.0.orig.tar.gz                     08-May-2024 13:05               75677
libcoq-aac-tactics-dbgsym_8.17.0-1_riscv64.deb     27-Jun-2026 14:01               12612
libcoq-aac-tactics_8.17.0-1_riscv64.deb            27-Jun-2026 14:01              386628