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

../
aac-tactics_8.17.0-1.debian.tar.xz                 09-Jun-2026 19:25                3552
aac-tactics_8.17.0-1.dsc                           09-Jun-2026 19:25                2108
aac-tactics_8.17.0.orig.tar.gz                     09-Jun-2026 19:25               75677
aac-tactics_8.20.0-1.debian.tar.xz                 09-Jun-2026 19:25                3808
aac-tactics_8.20.0-1.dsc                           09-Jun-2026 19:25                2104
aac-tactics_8.20.0.orig.tar.gz                     09-Jun-2026 19:25               77668
aac-tactics_9.0.0-2.debian.tar.xz                  09-Jun-2026 19:25                3952
aac-tactics_9.0.0-2.dsc                            09-Jun-2026 19:25                2106
aac-tactics_9.0.0.orig.tar.gz                      09-Jun-2026 19:25               70184
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           09-Jun-2026 19:25              389900
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb           09-Jun-2026 19:25              397868
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           09-Jun-2026 19:25              394552
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb           09-Jun-2026 19:25              400636
libcoq-aac-tactics_8.20.0-1+b6_amd64.deb           09-Jun-2026 19:25              393180
libcoq-aac-tactics_8.20.0-1+b6_arm64.deb           09-Jun-2026 19:25              399364
libcoq-aac-tactics_9.0.0-2+b1_amd64.deb            09-Jun-2026 19:25              396952
libcoq-aac-tactics_9.0.0-2_arm64.deb               09-Jun-2026 19:25              403084