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.18.0-1..> 21-Dec-2023 14:34  3.6K  
 aac-tactics_8.18.0-1..> 21-Dec-2023 14:34  2.1K  
 aac-tactics_8.18.0.o..> 21-Dec-2023 14:34   74K  
 aac-tactics_8.19.0-1..> 26-Apr-2024 13:46  3.6K  
 aac-tactics_8.19.0-1..> 26-Apr-2024 13:46  2.1K  
 aac-tactics_8.19.0.o..> 26-Apr-2024 13:46   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-Dec-2023 17:31  375K  
 libcoq-aac-tactics_8..> 31-Dec-2023 08:40  383K  
 libcoq-aac-tactics_8..> 31-Dec-2023 08:40  373K  
 libcoq-aac-tactics_8..> 31-Dec-2023 08:40  367K  
 libcoq-aac-tactics_8..> 26-Dec-2023 08:41  377K  
 libcoq-aac-tactics_8..> 26-Dec-2023 17:07  376K  
 libcoq-aac-tactics_8..> 27-Apr-2024 22:03  383K  
 libcoq-aac-tactics_8..> 27-Apr-2024 22:03  391K  
 libcoq-aac-tactics_8..> 27-Apr-2024 22:08  381K  
 libcoq-aac-tactics_8..> 27-Apr-2024 17:39  375K  
 libcoq-aac-tactics_8..> 27-Apr-2024 17:02  386K  
 libcoq-aac-tactics_8..> 27-Apr-2024 17:23  386K  
 libcoq-aac-tactics_8..> 27-Apr-2024 22:36  384K