Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

Index of /kali/pool/main/e/elpi/

Index of /kali/pool/main/e/elpi/


../
elpi_2.0.5-1+b2_amd64.deb                          28-Jan-2025 14:27      2M
elpi_2.0.5-1+b2_arm64.deb                          28-Jan-2025 19:00      2M
elpi_2.0.5-1.debian.tar.xz                         18-Dec-2024 16:08    4732
elpi_2.0.5-1.dsc                                   18-Dec-2024 16:08    2441
elpi_2.0.5.orig.tar.gz                             18-Dec-2024 16:08      3M
elpi_2.0.7-1.debian.tar.xz                         17-Feb-2025 16:37    5168
elpi_2.0.7-1.dsc                                   17-Feb-2025 16:37    2446
elpi_2.0.7-1_amd64.deb                             17-Feb-2025 17:12      2M
elpi_2.0.7-1_arm64.deb                             17-Feb-2025 17:18      2M
elpi_2.0.7.orig.tar.gz                             17-Feb-2025 16:37      3M
libelpi-ocaml-dev_2.0.5-1+b2_amd64.deb             28-Jan-2025 14:27     15M
libelpi-ocaml-dev_2.0.5-1+b2_arm64.deb             28-Jan-2025 19:00     15M
libelpi-ocaml-dev_2.0.7-1_amd64.deb                17-Feb-2025 17:12     15M
libelpi-ocaml-dev_2.0.7-1_arm64.deb                17-Feb-2025 17:18     15M
libelpi-ocaml_2.0.5-1+b2_amd64.deb                 28-Jan-2025 14:27      4M
libelpi-ocaml_2.0.5-1+b2_arm64.deb                 28-Jan-2025 19:00      4M
libelpi-ocaml_2.0.7-1_amd64.deb                    17-Feb-2025 17:12      4M
libelpi-ocaml_2.0.7-1_arm64.deb                    17-Feb-2025 17:18      4M