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

../
elpi_1.14.1-1.debian.tar.xz                        30-Aug-2023 22:42                4088
elpi_1.14.1-1.dsc                                  30-Aug-2023 22:42                2121
elpi_1.14.1-1_arm64.deb                            30-Aug-2023 22:42             1487698
elpi_1.14.1.orig.tar.gz                            30-Aug-2023 22:42             1544090
elpi_1.17.4-3build1.debian.tar.xz                  25-Feb-2024 00:14                4568
elpi_1.17.4-3build1.dsc                            25-Feb-2024 00:14                2308
elpi_1.17.4-3build1_arm64.deb                      25-Feb-2024 00:14             1988022
elpi_1.17.4.orig.tar.gz                            01-Feb-2024 00:13             2609080
libelpi-ocaml-dev_1.14.1-1_arm64.deb               30-Aug-2023 22:42             9204700
libelpi-ocaml-dev_1.17.4-3build1_arm64.deb         25-Feb-2024 00:14            12158572
libelpi-ocaml_1.14.1-1_arm64.deb                   30-Aug-2023 22:42             2552532
libelpi-ocaml_1.17.4-3build1_arm64.deb             25-Feb-2024 00:14             4987108