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


../
aac-tactics_8.17.0-1.debian.tar.xz                 20-Apr-2023 11:15                3552
aac-tactics_8.17.0-1.dsc                           20-Apr-2023 11:15                2108
aac-tactics_8.17.0.orig.tar.gz                     20-Apr-2023 11:15               75677
aac-tactics_8.20.0-1.debian.tar.xz                 06-Aug-2025 12:16                3808
aac-tactics_8.20.0-1.dsc                           06-Aug-2025 12:16                2104
aac-tactics_8.20.0.orig.tar.gz                     06-Aug-2025 12:16               77668
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           20-Apr-2023 11:15              389900
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            20-Apr-2023 11:15              381620
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           06-Aug-2025 12:16              394552