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

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 libcoq-aac-tactics_9.0.0-4_i386.deb      2026-07-28 11:49  296K  
 libcoq-aac-tactics_9.0.0-4_armhf.deb     2026-07-28 11:44  296K  
 libcoq-aac-tactics_9.0.0-4_arm64.deb     2026-07-28 11:44  393K  
 libcoq-aac-tactics_9.0.0-4+b2_amd64.deb  2026-08-26 01:03  387K  
 libcoq-aac-tactics_9.0.0-4+b1_arm64.deb  2026-08-26 01:03  394K  
 libcoq-aac-tactics_9.0.0-4+b1_amd64.deb  2026-07-28 12:15  388K  
 libcoq-aac-tactics_8.20.0-1+b7_arm64.deb 2026-06-19 09:21  389K  
 libcoq-aac-tactics_8.20.0-1+b7_amd64.deb 2026-06-19 08:24  383K  
 libcoq-aac-tactics_8.20.0-1+b6_arm64.deb 2026-02-12 15:53  390K  
 libcoq-aac-tactics_8.20.0-1+b6_amd64.deb 2026-02-12 15:53  384K  
 aac-tactics_9.0.0.orig.tar.gz            2025-10-29 08:13   69K  
 aac-tactics_9.0.0-4.dsc                  2026-07-28 11:24  2.1K  
 aac-tactics_9.0.0-4.debian.tar.xz        2026-07-28 11:24  3.9K  
 aac-tactics_8.20.0.orig.tar.gz           2024-11-20 10:52   76K  
 aac-tactics_8.20.0-1.dsc                 2024-11-20 10:52  2.1K  
 aac-tactics_8.20.0-1.debian.tar.xz       2024-11-20 10:52  3.7K