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  
 coq-elpi_1.19.3-2build4.debian.tar.xz    2024-04-08 09:57  3.8K  
 coq-elpi_1.19.3-2build4.dsc              2024-04-08 09:57  2.1K  
 coq-elpi_1.19.3.orig.tar.gz              2023-12-22 18:26  558K  
 coq-elpi_2.5.0-1.2build3.debian.tar.xz   2026-03-01 16:46  3.9K  
 coq-elpi_2.5.0-1.2build3.dsc             2026-03-01 16:46  2.0K  
 coq-elpi_2.5.0.orig.tar.gz               2025-05-01 18:23  728K  
 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  
 libcoq-elpi_1.19.3-2build4_amd64.deb     2024-04-08 09:57  3.0M  
 libcoq-elpi_2.5.0-1.2build3_amd64.deb    2026-03-01 16:46   13M  

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