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

../
aac-tactics_8.17.0-1.debian.tar.xz                 31-Mar-2026 06:36    3552
aac-tactics_8.17.0-1.dsc                           31-Mar-2026 06:36    2108
aac-tactics_8.17.0.orig.tar.gz                     31-Mar-2026 06:36     74K
aac-tactics_8.20.0-1.debian.tar.xz                 23-Mar-2026 17:36    3808
aac-tactics_8.20.0-1.dsc                           23-Mar-2026 17:36    2104
aac-tactics_8.20.0.orig.tar.gz                     23-Mar-2026 17:37     76K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           31-Mar-2026 18:44    381K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            31-Mar-2026 18:44    373K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           25-Mar-2026 18:31    385K