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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 aac-tactics_8.17.0-1..> 04-Jan-2023 19:04  3.5K  
 aac-tactics_8.17.0-1..> 04-Jan-2023 19:04  2.1K  
 aac-tactics_8.17.0.o..> 04-Jan-2023 19:04   74K  
 aac-tactics_8.19.1-2..> 03-Aug-2024 15:44  3.7K  
 aac-tactics_8.19.1-2..> 03-Aug-2024 15:44  1.8K  
 aac-tactics_8.19.1.o..> 11-Jun-2024 05:19   75K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  381K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  389K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  379K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:06  373K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  384K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:06  382K  
 libcoq-aac-tactics_8..> 21-Aug-2024 03:48  393K  
 libcoq-aac-tactics_8..> 21-Aug-2024 03:48  400K  
 libcoq-aac-tactics_8..> 21-Aug-2024 04:45  397K  
 libcoq-aac-tactics_8..> 30-Aug-2024 15:00  395K  
 libcoq-aac-tactics_8..> 21-Aug-2024 03:54  395K