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_2.0.7-1.debian.tar.xz                         18-Feb-2025 01:39                5168
elpi_2.0.7-1.dsc                                   18-Feb-2025 01:39                2446
elpi_2.0.7-1_amd64.deb                             18-Feb-2025 01:40             2091200
elpi_2.0.7-1build2.debian.tar.xz                   31-Aug-2025 12:37                5260
elpi_2.0.7-1build2.dsc                             31-Aug-2025 12:37                2433
elpi_2.0.7-1build2_amd64.deb                       31-Aug-2025 23:39             2078312
elpi_2.0.7-3build1.debian.tar.xz                   03-Jan-2026 17:50                6272
elpi_2.0.7-3build1.dsc                             03-Jan-2026 17:50                2445
elpi_2.0.7-3build1_amd64.deb                       03-Jan-2026 19:12             2123904
elpi_2.0.7-3build2.debian.tar.xz                   28-Jan-2026 00:59                6280
elpi_2.0.7-3build2.dsc                             28-Jan-2026 00:59                2445
elpi_2.0.7-3build2_amd64.deb                       28-Jan-2026 20:36             2113432
elpi_2.0.7.orig.tar.gz                             18-Feb-2025 01:39             2642553
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_2.0.7-1_amd64.deb                18-Feb-2025 01:40            15966984
libelpi-ocaml-dev_2.0.7-1build2_amd64.deb          31-Aug-2025 23:39            15924946
libelpi-ocaml-dev_2.0.7-3build1_amd64.deb          03-Jan-2026 19:11            15505146
libelpi-ocaml-dev_2.0.7-3build2_amd64.deb          28-Jan-2026 20:36            15508136
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_2.0.7-1_amd64.deb                    18-Feb-2025 01:40             4008700
libelpi-ocaml_2.0.7-1build2_amd64.deb              31-Aug-2025 23:39             4000008
libelpi-ocaml_2.0.7-3build1_amd64.deb              03-Jan-2026 19:11             4283386
libelpi-ocaml_2.0.7-3build2_amd64.deb              28-Jan-2026 20:36             4283274

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.