Index of /revyos/trixie32/revyos-base/pool/main/a/aac-tactics/

../
aac-tactics_8.20.0-1.debian.tar.xz                 04-Jan-2025 10:33    3808
aac-tactics_8.20.0-1.dsc                           04-Jan-2025 10:33    2104
aac-tactics_8.20.0.orig.tar.gz                     04-Jan-2025 10:33     76K
libcoq-aac-tactics-dbgsym_8.20.0-1+b4_amd64.deb    21-Jun-2025 16:50     13K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           21-Jun-2025 16:39    385K