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

../
aac-tactics_8.17.0-1.debian.tar.xz                 04-Jan-2023 13:04                3552
aac-tactics_8.17.0-1.dsc                           04-Jan-2023 13:04                2108
aac-tactics_8.17.0.orig.tar.gz                     04-Jan-2023 13:04               75677
aac-tactics_8.20.0-1.debian.tar.xz                 20-Nov-2024 03:52                3808
aac-tactics_8.20.0-1.dsc                           20-Nov-2024 03:52                2104
aac-tactics_8.20.0.orig.tar.gz                     20-Nov-2024 03:52               77668
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           12-Feb-2023 23:11              389900
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            12-Feb-2023 23:06              381620
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           14-Jun-2025 19:48              394552