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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 aac-tactics_8.18.0-1.debian.tar.xz    2023-12-21 23:34  3.6K  
 aac-tactics_8.18.0-1.dsc              2023-12-21 23:34  2.1K  
 aac-tactics_8.18.0.orig.tar.gz        2023-12-21 23:34   74K  
 libcoq-aac-tactics_8.18.0-1_amd64.deb 2023-12-22 02:31  375K  
 libcoq-aac-tactics_8.18.0-1_arm64.deb 2023-12-31 17:40  383K  
 libcoq-aac-tactics_8.18.0-1_armhf.deb 2023-12-31 17:40  373K  
 libcoq-aac-tactics_8.18.0-1_i386.deb  2023-12-31 17:40  367K