Index of /repos/pool/main/a/aac-tactics/
../
aac-tactics_8.17.0-1.debian.tar.xz 27-Sep-2025 09:09 3552
aac-tactics_8.17.0-1.dsc 27-Sep-2025 09:09 2108
aac-tactics_8.17.0.orig.tar.gz 27-Sep-2025 09:09 74K
aac-tactics_8.20.0-1.debian.tar.xz 26-Sep-2025 19:24 3808
aac-tactics_8.20.0-1.dsc 26-Sep-2025 19:24 2104
aac-tactics_8.20.0.orig.tar.gz 26-Sep-2025 19:24 76K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 27-Sep-2025 11:35 381K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb 27-Sep-2025 11:35 373K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb 26-Sep-2025 23:42 385K