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.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_amd64.deb                      16-Feb-2023 23:24             1764382
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_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-5build4.debian.tar.xz                  19-Nov-2024 13:31                5044
elpi_1.18.2-5build4.dsc                            19-Nov-2024 13:31                2400
elpi_1.18.2-5build4_amd64.deb                      19-Nov-2024 13:34             1826912
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_amd64.deb                            20-Nov-2024 18:48             1865468
elpi_1.19.6.orig.tar.gz                            20-Nov-2024 18:47             2645680
libelpi-ocaml-dev_1.14.1-1_amd64.deb               09-Feb-2022 05:37             8360746
libelpi-ocaml-dev_1.16.8-1build2_amd64.deb         16-Feb-2023 23:24            12654758
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_1.18.2-5build4_amd64.deb         19-Nov-2024 13:34            13897216
libelpi-ocaml-dev_1.19.6-1_amd64.deb               20-Nov-2024 18:48            14250322
libelpi-ocaml_1.14.1-1_amd64.deb                   09-Feb-2022 05:37             2416776
libelpi-ocaml_1.16.8-1build2_amd64.deb             16-Feb-2023 23:24             6361072
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_1.18.2-5build4_amd64.deb             19-Nov-2024 13:34             3230444
libelpi-ocaml_1.19.6-1_amd64.deb                   20-Nov-2024 18:48             3365806

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.