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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 aac-tactics_8.20.0-1..> 20-Nov-2024 09:52  2.1K  
 aac-tactics_8.17.0-1..> 04-Jan-2023 19:04  2.1K  
 aac-tactics_8.17.0-1..> 04-Jan-2023 19:04  3.5K  
 aac-tactics_8.20.0-1..> 20-Nov-2024 09:52  3.7K  
 aac-tactics_8.17.0.o..> 04-Jan-2023 19:04   74K  
 aac-tactics_8.20.0.o..> 20-Nov-2024 09:52   76K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:06  373K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  379K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  381K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:06  382K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  384K  
 libcoq-aac-tactics_8..> 28-Jan-2025 17:31  385K  
 libcoq-aac-tactics_8..> 18-Feb-2025 00:15  385K  
 libcoq-aac-tactics_8..> 28-Jan-2025 16:29  386K  
 libcoq-aac-tactics_8..> 18-Feb-2025 00:15  386K  
 libcoq-aac-tactics_8..> 18-Feb-2025 15:50  387K  
 libcoq-aac-tactics_8..> 30-Jan-2025 06:51  387K  
 libcoq-aac-tactics_8..> 18-Feb-2025 00:56  388K  
 libcoq-aac-tactics_8..> 13-Feb-2023 05:11  389K  
 libcoq-aac-tactics_8..> 29-Jan-2025 08:28  389K  
 libcoq-aac-tactics_8..> 18-Feb-2025 00:20  391K  
 libcoq-aac-tactics_8..> 28-Jan-2025 21:38  391K