Name                                            Last modified      Size  Description
 Parent Directory                                                     -   
 ssreflect_2.3.0-1.dsc                           2024-12-18 17:08  2.6K  
 ssreflect_2.3.0-1.debian.tar.xz                 2024-12-18 17:08   12K  
 ssreflect_2.3.0.orig.tar.gz                     2024-12-18 17:08  1.8M  
 libcoq-mathcomp-fingroup_2.3.0-1+b13_arm64.deb  2025-10-28 17:44  2.2M  
 libcoq-mathcomp-fingroup_2.3.0-1+b13_amd64.deb  2025-10-28 17:39  2.2M  
 libcoq-mathcomp_2.3.0-1+b13_arm64.deb           2025-10-28 17:44  2.9M  
 libcoq-mathcomp_2.3.0-1+b13_amd64.deb           2025-10-28 17:39  2.9M  
 libcoq-mathcomp-field_2.3.0-1+b13_amd64.deb     2025-10-28 17:39  3.2M  
 libcoq-mathcomp-field_2.3.0-1+b13_arm64.deb     2025-10-28 17:44  3.2M  
 libcoq-mathcomp-character_2.3.0-1+b13_amd64.deb 2025-10-28 17:39  4.1M  
 libcoq-mathcomp-character_2.3.0-1+b13_arm64.deb 2025-10-28 17:44  4.1M  
 libcoq-mathcomp-solvable_2.3.0-1+b13_amd64.deb  2025-10-28 17:39  4.6M  
 libcoq-mathcomp-solvable_2.3.0-1+b13_arm64.deb  2025-10-28 17:44  4.6M  
 libcoq-mathcomp-ssreflect_2.3.0-1+b13_amd64.deb 2025-10-28 17:39  7.9M  
 libcoq-mathcomp-ssreflect_2.3.0-1+b13_arm64.deb 2025-10-28 17:44  7.9M  
 libcoq-mathcomp-algebra_2.3.0-1+b13_arm64.deb   2025-10-28 17:44   11M  
 libcoq-mathcomp-algebra_2.3.0-1+b13_amd64.deb   2025-10-28 17:39   11M  

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