The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ elpi_1.14.1-1.debian.tar.xz 09-Feb-2022 05:35 4088 elpi_1.14.1-1.dsc 09-Feb-2022 05:35 2121 elpi_1.14.1-1_arm64.deb 09-Feb-2022 06:00 1487698 elpi_1.14.1-1_armhf.deb 09-Feb-2022 06:00 1202654 elpi_1.14.1.orig.tar.gz 09-Feb-2022 05:35 1544090 elpi_1.16.8-1build2.debian.tar.xz 16-Feb-2023 23:24 4204 elpi_1.16.8-1build2.dsc 16-Feb-2023 23:24 2429 elpi_1.16.8-1build2_arm64.deb 16-Feb-2023 23:24 2121082 elpi_1.16.8.orig.tar.gz 07-Dec-2022 11:39 2601311 elpi_1.17.4-3build1.debian.tar.xz 17-Feb-2024 00:37 4568 elpi_1.17.4-3build1.dsc 17-Feb-2024 00:37 2308 elpi_1.17.4-3build1_arm64.deb 17-Feb-2024 08:53 1988022 elpi_1.17.4-3build1_armhf.deb 17-Feb-2024 06:33 1607608 elpi_1.17.4.orig.tar.gz 21-Dec-2023 23:52 2609080 elpi_1.18.2-5build3.debian.tar.xz 17-Sep-2024 12:59 5012 elpi_1.18.2-5build3.dsc 17-Sep-2024 12:59 2400 elpi_1.18.2-5build3_arm64.deb 19-Sep-2024 14:03 2166168 elpi_1.18.2.orig.tar.gz 03-May-2024 01:55 2630264 elpi_1.19.6-1.debian.tar.xz 20-Nov-2024 18:47 4912 elpi_1.19.6-1.dsc 20-Nov-2024 18:47 2436 elpi_1.19.6-1_arm64.deb 20-Nov-2024 18:48 2217776 elpi_1.19.6.orig.tar.gz 20-Nov-2024 18:47 2645680 libelpi-ocaml-dev_1.14.1-1_arm64.deb 09-Feb-2022 06:00 9204700 libelpi-ocaml-dev_1.14.1-1_armhf.deb 09-Feb-2022 06:00 8371112 libelpi-ocaml-dev_1.16.8-1build2_arm64.deb 16-Feb-2023 23:24 13458850 libelpi-ocaml-dev_1.17.4-3build1_arm64.deb 17-Feb-2024 08:53 12158572 libelpi-ocaml-dev_1.17.4-3build1_armhf.deb 17-Feb-2024 06:33 11299346 libelpi-ocaml-dev_1.18.2-5build3_arm64.deb 19-Sep-2024 14:03 14736728 libelpi-ocaml-dev_1.19.6-1_arm64.deb 20-Nov-2024 18:48 15088162 libelpi-ocaml_1.14.1-1_arm64.deb 09-Feb-2022 06:00 2552532 libelpi-ocaml_1.14.1-1_armhf.deb 09-Feb-2022 06:00 2420924 libelpi-ocaml_1.16.8-1build2_arm64.deb 16-Feb-2023 23:24 6501566 libelpi-ocaml_1.17.4-3build1_arm64.deb 17-Feb-2024 08:53 4987108 libelpi-ocaml_1.17.4-3build1_armhf.deb 17-Feb-2024 06:33 4862382 libelpi-ocaml_1.18.2-5build3_arm64.deb 19-Sep-2024 14:03 3359654 libelpi-ocaml_1.19.6-1_arm64.deb 20-Nov-2024 18:48 3507698
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.