Name                             Last modified      Size  Description
 Parent Directory                                      -   
 libcoq-elpi_2.3.0-1_arm64.deb    2024-12-18 20:35   11M  
 libcoq-elpi_2.3.0-1_amd64.deb    2024-12-18 20:20   11M  
 libcoq-elpi_2.1.0-1+b9_arm64.deb 2024-10-12 09:22  2.8M  
 libcoq-elpi_2.1.0-1+b9_amd64.deb 2024-10-12 09:07  2.7M  
 coq-elpi_2.3.0.orig.tar.gz       2024-12-18 17:07  717K  
 coq-elpi_2.3.0-1.dsc             2024-12-18 17:07  2.0K  
 coq-elpi_2.3.0-1.debian.tar.xz   2024-12-18 17:07  3.7K  
 coq-elpi_2.1.0.orig.tar.gz       2024-04-26 15:46  699K  
 coq-elpi_2.1.0-1.dsc             2024-04-26 15:46  2.0K  
 coq-elpi_2.1.0-1.debian.tar.xz   2024-04-26 15:46  3.6K  

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