Index of /bianbu/pool/universe/a/aac-tactics/

../
aac-tactics_8.18.0-1build3.debian.tar.xz           08-Apr-2024 07:57    3904
aac-tactics_8.18.0-1build3.dsc                     08-Apr-2024 07:57    2182
aac-tactics_8.18.0.orig.tar.gz                     21-Dec-2023 23:52     74K
aac-tactics_8.20.0-1build3.debian.tar.xz           18-Feb-2025 21:25    3944
aac-tactics_8.20.0-1build3.dsc                     18-Feb-2025 21:25    2103
aac-tactics_8.20.0.orig.tar.gz                     20-Nov-2024 18:47     76K
libcoq-aac-tactics_8.18.0-1build3_riscv64.deb      14-Apr-2025 11:00    418K
libcoq-aac-tactics_8.20.0-1build3_riscv64.deb      19-Feb-2025 00:23    428K