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
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