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

../
aac-tactics_8.20.0-1.debian.tar.xz                 09-Feb-2026 20:34                3808
aac-tactics_8.20.0-1.dsc                           09-Feb-2026 20:34                2104
aac-tactics_8.20.0.orig.tar.gz                     09-Feb-2026 20:34               77668
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           09-Feb-2026 20:34              394552