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

Icon  Name                                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                                              -   
[   ] libcoq-mathcomp-algebra-tactics_1.0.0-8build3_amd64.deb  2023-02-17 03:34  254K  
[   ] libcoq-mathcomp-algebra-tactics_1.1.1-2build9_amd64.deb  2023-08-28 18:39  425K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-1build5_amd64.deb  2024-04-08 18:11  589K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-3build4_amd64.deb  2024-06-16 01:58  602K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4_amd64.deb        2024-08-03 20:22  602K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build10_amd64.deb 2025-01-26 12:29  864K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build11_amd64.deb 2025-02-02 05:54  864K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build12_amd64.deb 2025-02-16 01:32  864K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build13_amd64.deb 2025-02-17 20:28  864K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build1_amd64.deb  2024-08-05 16:52  603K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build2_amd64.deb  2024-08-15 02:53  603K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build3_amd64.deb  2024-08-15 09:47  603K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build4_amd64.deb  2024-09-07 21:05  603K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build5_amd64.deb  2024-09-13 09:19  603K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build6_amd64.deb  2024-09-20 03:35  602K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build7_amd64.deb  2024-11-20 11:29  603K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build8_amd64.deb  2024-11-21 17:02  591K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.3-4build9_amd64.deb  2024-12-20 20:01  864K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.4-1_amd64.deb        2025-02-18 02:40  882K  
[   ] libcoq-mathcomp-algebra-tactics_1.2.4-1build1_amd64.deb  2025-02-20 10:56  891K  
[   ] mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz     2023-02-17 00:24  8.6K  
[TXT] mathcomp-algebra-tactics_1.0.0-8build3.dsc               2023-02-17 00:24  2.2K  
[   ] mathcomp-algebra-tactics_1.0.0.orig.tar.gz               2022-05-18 13:29   36K  
[   ] mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz     2023-08-28 18:13  8.7K  
[TXT] mathcomp-algebra-tactics_1.1.1-2build9.dsc               2023-08-28 18:13  2.2K  
[   ] mathcomp-algebra-tactics_1.1.1.orig.tar.gz               2023-06-15 13:44   51K  
[   ] mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz     2024-04-08 09:57  8.9K  
[TXT] mathcomp-algebra-tactics_1.2.3-1build5.dsc               2024-04-08 09:57  2.3K  
[   ] mathcomp-algebra-tactics_1.2.3-3build4.debian.tar.xz     2024-06-15 16:43  8.8K  
[TXT] mathcomp-algebra-tactics_1.2.3-3build4.dsc               2024-06-15 16:43  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz           2024-08-03 20:21  8.8K  
[TXT] mathcomp-algebra-tactics_1.2.3-4.dsc                     2024-08-03 20:21  2.0K  
[   ] mathcomp-algebra-tactics_1.2.3-4build1.debian.tar.xz     2024-08-05 16:52  8.8K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build1.dsc               2024-08-05 16:52  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz    2025-01-23 10:05  9.1K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build10.dsc              2025-01-23 10:05  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build11.debian.tar.xz    2025-01-31 09:45  9.1K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build11.dsc              2025-01-31 09:45  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz    2025-02-12 23:46  9.1K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build12.dsc              2025-02-12 23:46  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build13.debian.tar.xz    2025-02-17 12:21  9.1K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build13.dsc              2025-02-17 12:21  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build2.debian.tar.xz     2024-08-09 15:49  8.9K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build2.dsc               2024-08-09 15:49  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build3.debian.tar.xz     2024-08-15 09:47  8.9K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build3.dsc               2024-08-15 09:47  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build4.debian.tar.xz     2024-09-07 09:08  8.9K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build4.dsc               2024-09-07 09:08  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build5.debian.tar.xz     2024-09-11 22:51  8.9K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build5.dsc               2024-09-11 22:51  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build6.debian.tar.xz     2024-09-17 18:56  9.0K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build6.dsc               2024-09-17 18:56  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build7.debian.tar.xz     2024-11-20 11:28  9.0K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build7.dsc               2024-11-20 11:28  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz     2024-11-21 17:01  9.0K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build8.dsc               2024-11-21 17:01  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz     2024-12-20 20:01  9.1K  
[TXT] mathcomp-algebra-tactics_1.2.3-4build9.dsc               2024-12-20 20:01  2.2K  
[   ] mathcomp-algebra-tactics_1.2.3.orig.tar.gz               2024-01-21 06:45   57K  
[   ] mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz           2025-02-18 02:39  8.8K  
[TXT] mathcomp-algebra-tactics_1.2.4-1.dsc                     2025-02-18 02:39  2.2K  
[   ] mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz     2025-02-19 08:52  8.9K  
[TXT] mathcomp-algebra-tactics_1.2.4-1build1.dsc               2025-02-19 08:52  2.2K  
[   ] mathcomp-algebra-tactics_1.2.4.orig.tar.gz               2025-02-18 02:39   58K