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.20.0-1..> 20-Nov-2024 09:52  3.7K  
 aac-tactics_8.20.0-1..> 20-Nov-2024 09:52  2.1K  
 aac-tactics_8.20.0.o..> 20-Nov-2024 09:52   76K  
 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..> 20-Nov-2024 14:16  385K  
 libcoq-aac-tactics_8..> 20-Nov-2024 14:57  391K  
 libcoq-aac-tactics_8..> 20-Nov-2024 14:52  386K  
 libcoq-aac-tactics_8..> 20-Nov-2024 14:37  388K  
 libcoq-aac-tactics_8..> 21-Nov-2024 02:40  386K