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


../
aac-tactics_8.17.0-1.debian.tar.xz                 27-Sep-2025 09:09    3552
aac-tactics_8.17.0-1.dsc                           27-Sep-2025 09:09    2108
aac-tactics_8.17.0.orig.tar.gz                     27-Sep-2025 09:09     74K
aac-tactics_8.20.0-1.debian.tar.xz                 26-Sep-2025 19:24    3808
aac-tactics_8.20.0-1.dsc                           26-Sep-2025 19:24    2104
aac-tactics_8.20.0.orig.tar.gz                     26-Sep-2025 19:24     76K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           27-Sep-2025 11:35    381K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            27-Sep-2025 11:35    373K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           26-Sep-2025 23:42    385K