Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 ssreflect_1.14.0.orig.tar.gz                       2022-01-25 00:34  1.3M  
 ssreflect_1.14.0-7.debian.tar.xz                   2022-02-17 07:10   12K  
 ssreflect_1.14.0-7.dsc                             2022-02-17 07:10  2.5K  
 libcoq-mathcomp-fingroup_1.14.0-7_all.deb          2022-02-17 07:11  2.0M  
 libcoq-mathcomp-solvable_1.14.0-7_all.deb          2022-02-17 07:11  5.0M  
 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb         2022-02-17 07:11  4.5M  
 libcoq-mathcomp-algebra_1.14.0-7_all.deb           2022-02-17 07:11  7.0M  
 libcoq-mathcomp-character_1.14.0-7_all.deb         2022-02-17 07:11  4.4M  
 libcoq-mathcomp-field_1.14.0-7_all.deb             2022-02-17 07:11  3.0M  
 libcoq-mathcomp_1.14.0-7_all.deb                   2022-02-17 07:11  2.5M  
 ssreflect_2.1.0.orig.tar.gz                        2023-12-24 18:26  1.8M  
 ssreflect_2.1.0-1build4.debian.tar.xz              2024-04-01 07:44   13K  
 ssreflect_2.1.0-1build4.dsc                        2024-04-01 07:44  2.6K  
 libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb    2024-04-08 15:14  9.8M  
 libcoq-mathcomp-character_2.1.0-1build4_amd64.deb  2024-04-08 15:14  4.2M  
 libcoq-mathcomp-field_2.1.0-1build4_amd64.deb      2024-04-08 15:14  3.2M  
 libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb   2024-04-08 15:14  2.1M  
 libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb   2024-04-08 15:14  5.0M  
 libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb  2024-04-08 15:14  6.3M  
 libcoq-mathcomp_2.1.0-1build4_amd64.deb            2024-04-08 15:14  2.4M  
 ssreflect_2.3.0.orig.tar.gz                        2024-12-19 00:41  1.8M  
 ssreflect_2.3.0-1build19.debian.tar.xz             2026-03-05 09:48   13K  
 ssreflect_2.3.0-1build19.dsc                       2026-03-05 09:48  2.6K  
 libcoq-mathcomp-ssreflect_2.3.0-1build19_amd64.deb 2026-03-05 11:29  9.1M  
 libcoq-mathcomp-character_2.3.0-1build19_amd64.deb 2026-03-05 11:29  4.6M  
 libcoq-mathcomp-field_2.3.0-1build19_amd64.deb     2026-03-05 11:29  3.6M  
 libcoq-mathcomp-fingroup_2.3.0-1build19_amd64.deb  2026-03-05 11:29  2.4M  
 libcoq-mathcomp-solvable_2.3.0-1build19_amd64.deb  2026-03-05 11:29  5.2M  
 libcoq-mathcomp-algebra_2.3.0-1build19_amd64.deb   2026-03-05 11:29   13M  
 libcoq-mathcomp_2.3.0-1build19_amd64.deb           2026-03-05 11:29  2.5M  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health