Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 elpi_3.7.2.orig.tar.gz                 2026-07-10 10:25  2.6M  
 elpi_3.7.2-2.debian.tar.xz             2026-07-22 12:04  6.0K  
 elpi_3.7.2-2.dsc                       2026-07-22 12:04  2.4K  
 elpi_3.7.2-2_arm64.deb                 2026-07-22 12:34  2.0M  
 libelpi-ocaml-dev_3.7.2-2_arm64.deb    2026-07-22 12:34   12M  
 libelpi-ocaml_3.7.2-2_arm64.deb        2026-07-22 12:34  3.3M  
 elpi_3.7.2-2+b1_amd64.deb              2026-07-27 22:33  1.8M  
 libelpi-ocaml-dev_3.7.2-2+b1_amd64.deb 2026-07-27 22:33   12M  
 libelpi-ocaml_3.7.2-2+b1_amd64.deb     2026-07-27 22:33  3.2M  

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