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

../
elpi_1.14.1-1.debian.tar.xz                        27-Aug-2023 02:36                4088
elpi_1.14.1-1.dsc                                  27-Aug-2023 02:36                2121
elpi_1.14.1-1_amd64.deb                            27-Aug-2023 02:36             1221096
elpi_1.14.1.orig.tar.gz                            27-Aug-2023 02:36             1544090
elpi_1.17.4-3build1.debian.tar.xz                  24-Feb-2024 02:04                4568
elpi_1.17.4-3build1.dsc                            24-Feb-2024 02:04                2308
elpi_1.17.4-3build1_amd64.deb                      24-Feb-2024 02:04             1643600
elpi_1.17.4.orig.tar.gz                            30-Jan-2024 05:04             2609080
libelpi-ocaml-dev_1.14.1-1_amd64.deb               27-Aug-2023 02:36             8360746
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb         24-Feb-2024 02:04            11360002
libelpi-ocaml_1.14.1-1_amd64.deb                   27-Aug-2023 02:36             2416776
libelpi-ocaml_1.17.4-3build1_amd64.deb             24-Feb-2024 02:04             4842862