Name                           Last modified      Size  Description
 Parent Directory                                    -   
 coq-doc-html_8.15.0-3_all.deb  2022-03-17 10:15  1.3M  
 coq-doc-html_8.6-1_all.deb     2017-07-14 14:16  452K  
 coq-doc-pdf_8.15.0-3_all.deb   2022-03-17 10:15  3.9M  
 coq-doc-pdf_8.6-1_all.deb      2017-07-14 14:17  2.4M  
 coq-doc_8.15.0-3.debian.tar.xz 2022-02-23 00:24  7.4K  
 coq-doc_8.15.0-3.dsc           2022-02-23 00:24  2.5K  
 coq-doc_8.15.0-3_all.deb       2022-03-17 10:15  3.9K  
 coq-doc_8.15.0.orig.tar.gz     2022-02-09 06:35  6.9M  
 coq-doc_8.6-1.debian.tar.xz    2017-07-14 14:15  8.1K  
 coq-doc_8.6-1.dsc              2017-07-14 14:15  2.3K  
 coq-doc_8.6-1_all.deb          2017-07-14 14:17  4.3K  
 coq-doc_8.6.orig.tar.gz        2017-07-14 14:15  5.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