Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 ssreflect_2.2.0.orig.tar.gz                    2024-04-26 16:06  1.8M  
 ssreflect_2.2.0-2.dsc                          2024-08-03 10:23  2.3K  
 ssreflect_2.2.0-2.debian.tar.xz                2024-08-03 10:23   12K  
 libcoq-mathcomp_2.2.0-2+b9_amd64.deb           2024-11-20 18:02  2.7M  
 libcoq-mathcomp_2.2.0-2+b8_arm64.deb           2024-11-20 20:45  2.7M  
 libcoq-mathcomp_2.2.0-2+b7_arm64.deb           2024-10-13 13:54  2.7M  
 libcoq-mathcomp_2.2.0-2+b7_amd64.deb           2024-10-13 13:28  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b9_amd64.deb 2024-11-20 18:02  5.6M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b8_arm64.deb 2024-11-20 20:45  5.6M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b7_arm64.deb 2024-10-13 13:54  5.8M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b7_amd64.deb 2024-10-13 13:28  5.8M  
 libcoq-mathcomp-solvable_2.2.0-2+b9_amd64.deb  2024-11-20 18:02  4.6M  
 libcoq-mathcomp-solvable_2.2.0-2+b8_arm64.deb  2024-11-20 20:44  4.6M  
 libcoq-mathcomp-solvable_2.2.0-2+b7_arm64.deb  2024-10-13 13:54  4.5M  
 libcoq-mathcomp-solvable_2.2.0-2+b7_amd64.deb  2024-10-13 13:28  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-2+b9_amd64.deb  2024-11-20 18:02  2.0M  
 libcoq-mathcomp-fingroup_2.2.0-2+b8_arm64.deb  2024-11-20 20:44  2.0M  
 libcoq-mathcomp-fingroup_2.2.0-2+b7_arm64.deb  2024-10-13 13:54  2.1M  
 libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64.deb  2024-10-13 13:28  2.1M  
 libcoq-mathcomp-field_2.2.0-2+b9_amd64.deb     2024-11-20 18:02  3.1M  
 libcoq-mathcomp-field_2.2.0-2+b8_arm64.deb     2024-11-20 20:44  3.1M  
 libcoq-mathcomp-field_2.2.0-2+b7_arm64.deb     2024-10-13 13:54  3.1M  
 libcoq-mathcomp-field_2.2.0-2+b7_amd64.deb     2024-10-13 13:28  3.1M  
 libcoq-mathcomp-character_2.2.0-2+b9_amd64.deb 2024-11-20 18:02  4.0M  
 libcoq-mathcomp-character_2.2.0-2+b8_arm64.deb 2024-11-20 20:44  4.0M  
 libcoq-mathcomp-character_2.2.0-2+b7_arm64.deb 2024-10-13 13:54  4.0M  
 libcoq-mathcomp-character_2.2.0-2+b7_amd64.deb 2024-10-13 13:28  4.0M  
 libcoq-mathcomp-algebra_2.2.0-2+b9_amd64.deb   2024-11-20 18:02  9.3M  
 libcoq-mathcomp-algebra_2.2.0-2+b8_arm64.deb   2024-11-20 20:44  9.3M  
 libcoq-mathcomp-algebra_2.2.0-2+b7_arm64.deb   2024-10-13 13:54  9.5M  
 libcoq-mathcomp-algebra_2.2.0-2+b7_amd64.deb   2024-10-13 13:28  9.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