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

../
aac-tactics_8.18.0-1.debian.tar.xz                 21-Dec-2023 14:34                3716
aac-tactics_8.18.0-1.dsc                           21-Dec-2023 14:34                2104
aac-tactics_8.18.0.orig.tar.gz                     21-Dec-2023 14:34               75607
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_8.18.0-1_amd64.deb              21-Dec-2023 17:31              384032
libcoq-aac-tactics_8.18.0-1_arm64.deb              31-Dec-2023 08:40              391992
libcoq-aac-tactics_8.18.0-1_armhf.deb              31-Dec-2023 08:40              381996
libcoq-aac-tactics_8.18.0-1_i386.deb               31-Dec-2023 08:40              375612
libcoq-aac-tactics_8.20.0-1+b3_amd64.deb           18-Feb-2025 00:15              394352
libcoq-aac-tactics_8.20.0-1+b3_arm64.deb           18-Feb-2025 00:20              400780