Index of /debian/pool/main/a/aac-tactics/
../
aac-tactics_8.17.0-1.debian.tar.xz 20-Apr-2023 11:15 3552
aac-tactics_8.17.0-1.dsc 20-Apr-2023 11:15 2108
aac-tactics_8.17.0.orig.tar.gz 20-Apr-2023 11:15 75677
aac-tactics_8.20.0-1.debian.tar.xz 06-Aug-2025 12:16 3808
aac-tactics_8.20.0-1.dsc 06-Aug-2025 12:16 2104
aac-tactics_8.20.0.orig.tar.gz 06-Aug-2025 12:16 77668
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 20-Apr-2023 11:15 389900
libcoq-aac-tactics_8.17.0-1+b2_i386.deb 20-Apr-2023 11:15 381620
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb 06-Aug-2025 12:16 394552