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

../
aac-tactics_8.17.0-1.debian.tar.xz                 05-Jan-2023 00:49    3552
aac-tactics_8.17.0-1.dsc                           05-Jan-2023 00:49    2108
aac-tactics_8.17.0.orig.tar.gz                     05-Jan-2023 00:49     74K
aac-tactics_8.20.0-1.debian.tar.xz                 20-Nov-2024 15:37    3808
aac-tactics_8.20.0-1.dsc                           20-Nov-2024 15:37    2104
aac-tactics_8.20.0.orig.tar.gz                     20-Nov-2024 15:37     76K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           13-Feb-2023 10:56    381K
libcoq-aac-tactics_8.20.0-1+b1_amd64.deb           28-Jan-2025 23:16    385K
libcoq-aac-tactics_8.20.0-1+b2_amd64.deb           13-Feb-2025 09:46    385K