Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 coq-hierarchy-builder_1.7.0-2.debian.tar.xz    2024-08-03 10:03  2.8K  
 coq-hierarchy-builder_1.7.0-2.dsc              2024-08-03 10:03  1.9K  
 coq-hierarchy-builder_1.7.0.orig.tar.gz        2024-04-26 16:01  202K  
 libcoq-hierarchy-builder_1.7.0-2+b11_amd64.deb 2024-11-21 00:43  235K  
 libcoq-hierarchy-builder_1.7.0-2+b8_amd64.deb  2024-10-13 12:38  258K  
 libcoq-hierarchy-builder_1.7.0-2+b8_arm64.deb  2024-10-13 12:38  258K  
 libcoq-hierarchy-builder_1.7.0-2+b9_arm64.deb  2024-11-20 18:12  234K  

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