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.

Index of /ubuntu/pool/universe/e/elpi/

../
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_amd64.deb                            09-Feb-2022 05:37             1221096
elpi_1.14.1.orig.tar.gz                            09-Feb-2022 05:35             1544090
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_amd64.deb                      17-Feb-2024 06:33             1643600
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_amd64.deb                      19-Sep-2024 14:03             1826538
elpi_1.18.2.orig.tar.gz                            03-May-2024 01:55             2630264
elpi_2.0.5-1.debian.tar.xz                         18-Dec-2024 23:41                4732
elpi_2.0.5-1.dsc                                   18-Dec-2024 23:41                2441
elpi_2.0.5-1_amd64.deb                             19-Dec-2024 00:49             2036004
elpi_2.0.5-1build2.debian.tar.xz                   30-Jan-2025 21:56                4804
elpi_2.0.5-1build2.dsc                             30-Jan-2025 21:56                2428
elpi_2.0.5-1build2_amd64.deb                       01-Feb-2025 09:39             2084786
elpi_2.0.5.orig.tar.gz                             18-Dec-2024 23:41             2639665
libelpi-ocaml-dev_1.14.1-1_amd64.deb               09-Feb-2022 05:37             8360746
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb         17-Feb-2024 06:33            11360002
libelpi-ocaml-dev_1.18.2-5build3_amd64.deb         19-Sep-2024 14:03            13897220
libelpi-ocaml-dev_2.0.5-1_amd64.deb                19-Dec-2024 00:49            15936660
libelpi-ocaml-dev_2.0.5-1build2_amd64.deb          01-Feb-2025 09:39            16062234
libelpi-ocaml_1.14.1-1_amd64.deb                   09-Feb-2022 05:37             2416776
libelpi-ocaml_1.17.4-3build1_amd64.deb             17-Feb-2024 06:33             4842862
libelpi-ocaml_1.18.2-5build3_amd64.deb             19-Sep-2024 14:03             3230378
libelpi-ocaml_2.0.5-1_amd64.deb                    19-Dec-2024 00:49             3951634
libelpi-ocaml_2.0.5-1build2_amd64.deb              01-Feb-2025 09:39             3975908

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.