Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 coq-interval_4.6.1-2.dsc              2023-01-27 07:18  2.1K  
 coq-interval_4.11.0-1.dsc             2024-06-08 10:32  2.1K  
 coq-interval_4.6.1-2.debian.tar.xz    2023-01-27 07:18  8.6K  
 coq-interval_4.11.0-1.debian.tar.xz   2024-06-08 10:32  9.0K  
 coq-interval_4.6.1.orig.tar.bz2       2022-12-13 11:17  253K  
 coq-interval_4.11.0.orig.tar.bz2      2024-06-08 10:32  295K  
 libcoq-interval_4.6.1-2+b1_armhf.deb  2023-05-23 00:08  4.4M  
 libcoq-interval_4.11.0-1+b1_armhf.deb 2024-06-29 06:53  6.3M  

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