Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 libcoq-mathcomp-algebra_2.3.0-1+b8_amd64.deb   2025-08-26 13:45   11M  
 libcoq-mathcomp-algebra_2.3.0-1+b8_arm64.deb   2025-08-26 14:00   11M  
 libcoq-mathcomp-character_2.3.0-1+b8_amd64.deb 2025-08-26 13:45  4.1M  
 libcoq-mathcomp-character_2.3.0-1+b8_arm64.deb 2025-08-26 14:00  4.1M  
 libcoq-mathcomp-field_2.3.0-1+b8_amd64.deb     2025-08-26 13:45  3.2M  
 libcoq-mathcomp-field_2.3.0-1+b8_arm64.deb     2025-08-26 14:00  3.2M  
 libcoq-mathcomp-fingroup_2.3.0-1+b8_amd64.deb  2025-08-26 13:45  2.2M  
 libcoq-mathcomp-fingroup_2.3.0-1+b8_arm64.deb  2025-08-26 14:00  2.2M  
 libcoq-mathcomp-solvable_2.3.0-1+b8_amd64.deb  2025-08-26 13:45  4.6M  
 libcoq-mathcomp-solvable_2.3.0-1+b8_arm64.deb  2025-08-26 14:00  4.6M  
 libcoq-mathcomp-ssreflect_2.3.0-1+b8_amd64.deb 2025-08-26 13:45  7.9M  
 libcoq-mathcomp-ssreflect_2.3.0-1+b8_arm64.deb 2025-08-26 14:00  7.9M  
 libcoq-mathcomp_2.3.0-1+b8_amd64.deb           2025-08-26 13:45  2.9M  
 libcoq-mathcomp_2.3.0-1+b8_arm64.deb           2025-08-26 14:00  2.9M  
 ssreflect_2.3.0-1.debian.tar.xz                2024-12-18 17:08   12K  
 ssreflect_2.3.0-1.dsc                          2024-12-18 17:08  2.6K  
 ssreflect_2.3.0.orig.tar.gz                    2024-12-18 17:08  1.8M  

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