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.18.0-1_all.deb        2024-04-03 00:05  1.5M  
 coq-doc-html_8.20.0-2build1_all.deb  2025-12-03 12:05  1.5M  
 coq-doc-pdf_8.15.0-3_all.deb         2022-03-17 10:15  3.9M  
 coq-doc-pdf_8.18.0-1_all.deb         2024-04-03 00:05  4.5M  
 coq-doc-pdf_8.20.0-2build1_all.deb   2025-12-03 12:05  4.8M  
 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.18.0-1.debian.tar.xz       2024-01-26 00:15  7.9K  
 coq-doc_8.18.0-1.dsc                 2024-01-26 00:15  2.5K  
 coq-doc_8.18.0-1_all.deb             2024-04-03 00:05  3.9K  
 coq-doc_8.18.0.orig.tar.gz           2024-01-26 00:15  7.3M  
 coq-doc_8.20.0-2build1.debian.tar.xz 2025-12-03 12:04  8.7K  
 coq-doc_8.20.0-2build1.dsc           2025-12-03 12:04  2.5K  
 coq-doc_8.20.0-2build1_all.deb       2025-12-03 12:05  3.9K  
 coq-doc_8.20.0.orig.tar.gz           2024-12-27 07:05  7.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