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

../
aac-tactics_8.20.0-1.debian.tar.xz                 20-Nov-2024 09:52                3808
aac-tactics_8.20.0-1.dsc                           20-Nov-2024 09:52                2104
aac-tactics_8.20.0.orig.tar.gz                     20-Nov-2024 09:52               77668
libcoq-aac-tactics-dbgsym_8.20.0-1_amd64.deb       29-Mar-2025 16:50               13856
libcoq-aac-tactics-dbgsym_8.20.0-1_arm64.deb       01-Mar-2025 11:53               16028
libcoq-aac-tactics-dbgsym_8.20.0-1_ppc64el.deb     22-Feb-2025 11:42               15188
libcoq-aac-tactics-dbgsym_8.20.0-1_riscv64.deb     01-Mar-2025 12:33               13944
libcoq-aac-tactics_8.20.0-1_amd64.deb              29-Mar-2025 16:50              394092
libcoq-aac-tactics_8.20.0-1_arm64.deb              01-Mar-2025 11:53              400396
libcoq-aac-tactics_8.20.0-1_ppc64el.deb            22-Feb-2025 11:42              394560
libcoq-aac-tactics_8.20.0-1_riscv64.deb            01-Mar-2025 12:33              397244