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

../
aac-tactics_8.17.0-1.debian.tar.xz                 20-Jan-2026 00:07    3552
aac-tactics_8.17.0-1.dsc                           20-Jan-2026 00:07    2108
aac-tactics_8.17.0.orig.tar.gz                     20-Jan-2026 00:07     74K
aac-tactics_8.20.0-1.debian.tar.xz                 18-Jan-2026 06:00    3808
aac-tactics_8.20.0-1.dsc                           18-Jan-2026 06:00    2104
aac-tactics_8.20.0.orig.tar.gz                     18-Jan-2026 06:00     76K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           20-Jan-2026 09:02    381K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            20-Jan-2026 09:02    373K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           18-Jan-2026 19:52    385K