Name                          Last modified      Size  Description
 Parent Directory                                   -   
 dh-coq_0.11.dsc               2024-09-17 20:37  1.6K  
 dh-coq_0.11.tar.xz            2024-09-17 20:37  8.4K  
 debian-coq-tools_0.11_all.deb 2024-09-17 21:02  7.4K  
 dh-coq_0.11_all.deb           2024-09-17 21:02  6.6K  
 dh-coq_0.13.dsc               2025-01-04 12:45  1.6K  
 dh-coq_0.13.tar.xz            2025-01-04 12:45   10K  
 debian-coq-tools_0.13_all.deb 2025-01-04 13:01  9.4K  
 dh-coq_0.13_all.deb           2025-01-04 13:01  6.8K  

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