Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 coq-elpi_1.13.0-1.debian.tar.xz          2022-02-11 00:14  2.5K  
 coq-elpi_1.13.0-1.dsc                    2022-02-11 00:14  2.0K  
 coq-elpi_1.13.0.orig.tar.gz              2022-02-11 00:14  352K  
 libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 2022-02-11 00:34  1.6M  
 libcoq-elpi-ocaml_1.13.0-1_amd64.deb     2022-02-11 00:34  4.8M  

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