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
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