Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 ssreflect_1.10.0+dfsg-2.dsc                2020-03-19 09:48  2.1K  
 ssreflect_1.14.0-7.dsc                     2022-02-17 07:10  2.5K  
 ssreflect_1.14.0-7.debian.tar.xz           2022-02-17 07:10   12K  
 ssreflect_1.10.0+dfsg-2.debian.tar.xz      2020-03-19 09:48   12K  
 ssreflect_1.10.0+dfsg.orig.tar.gz          2019-12-06 18:38  1.2M  
 ssreflect_1.14.0.orig.tar.gz               2022-01-25 00:34  1.3M  
 libcoq-mathcomp-fingroup_1.14.0-7_all.deb  2022-02-17 07:11  2.0M  
 libcoq-mathcomp_1.14.0-7_all.deb           2022-02-17 07:11  2.5M  
 libcoq-mathcomp-field_1.14.0-7_all.deb     2022-02-17 07:11  3.0M  
 libcoq-mathcomp-character_1.14.0-7_all.deb 2022-02-17 07:11  4.4M  
 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 2022-02-17 07:11  4.5M  
 libcoq-mathcomp-solvable_1.14.0-7_all.deb  2022-02-17 07:11  5.0M  
 libcoq-mathcomp-algebra_1.14.0-7_all.deb   2022-02-17 07:11  7.0M  
 libssreflect-coq_1.10.0+dfsg-2_all.deb     2020-03-19 10:23   25M  

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