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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-mathcomp-algebra-tactics_1.2.4-1build5_a..> 2025-09-02 16:35  890K  
 mathcomp-algebra-tactics_1.2.4-1build5.dsc         2025-09-01 03:42  2.2K  
 mathcomp-algebra-tactics_1.2.4-1build5.debian.t..> 2025-09-01 03:42  9.0K  
 libcoq-mathcomp-algebra-tactics_1.2.4-1build4_a..> 2025-06-21 01:40  890K  
 mathcomp-algebra-tactics_1.2.4-1build4.dsc         2025-06-20 01:20  2.2K  
 mathcomp-algebra-tactics_1.2.4-1build4.debian.t..> 2025-06-20 01:20  8.9K  
 libcoq-mathcomp-algebra-tactics_1.2.4-1build1_a..> 2025-02-20 17:56  891K  
 mathcomp-algebra-tactics_1.2.4-1build1.dsc         2025-02-19 15:52  2.2K  
 mathcomp-algebra-tactics_1.2.4-1build1.debian.t..> 2025-02-19 15:52  8.9K  
 mathcomp-algebra-tactics_1.2.4.orig.tar.gz         2025-02-18 09:39   58K  
 libcoq-mathcomp-algebra-tactics_1.2.3-4build6_a..> 2024-09-20 09:35  602K  
 mathcomp-algebra-tactics_1.2.3-4build6.dsc         2024-09-18 00:56  2.2K  
 mathcomp-algebra-tactics_1.2.3-4build6.debian.t..> 2024-09-18 00:56  9.0K  
 libcoq-mathcomp-algebra-tactics_1.2.3-1build5_a..> 2024-04-09 00:11  589K  
 mathcomp-algebra-tactics_1.2.3-1build5.dsc         2024-04-08 15:57  2.3K  
 mathcomp-algebra-tactics_1.2.3-1build5.debian.t..> 2024-04-08 15:57  8.9K  
 mathcomp-algebra-tactics_1.2.3.orig.tar.gz         2024-01-21 13:45   57K