Index of /ubuntu/pool/universe/m/mathcomp-algebra-tactics

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-mathcomp-alge..> 17-Feb-2023 02:34  254K  
 libcoq-mathcomp-alge..> 28-Aug-2023 16:39  425K  
 libcoq-mathcomp-alge..> 08-Apr-2024 16:11  589K  
 libcoq-mathcomp-alge..> 20-Sep-2024 01:35  602K  
 mathcomp-algebra-tac..> 16-Feb-2023 23:24  8.6K  
 mathcomp-algebra-tac..> 16-Feb-2023 23:24  2.2K  
 mathcomp-algebra-tac..> 18-May-2022 11:29   36K  
 mathcomp-algebra-tac..> 28-Aug-2023 16:13  8.7K  
 mathcomp-algebra-tac..> 28-Aug-2023 16:13  2.2K  
 mathcomp-algebra-tac..> 15-Jun-2023 11:44   51K  
 mathcomp-algebra-tac..> 08-Apr-2024 07:57  8.9K  
 mathcomp-algebra-tac..> 08-Apr-2024 07:57  2.3K  
 mathcomp-algebra-tac..> 17-Sep-2024 16:56  9.0K  
 mathcomp-algebra-tac..> 17-Sep-2024 16:56  2.2K  
 mathcomp-algebra-tac..> 21-Jan-2024 05:45   57K