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

../
elpi_1.17.4-3build1.debian.tar.xz                  04-Mar-2026 09:35    4568
elpi_1.17.4-3build1.dsc                            04-Mar-2026 09:35    2308
elpi_1.17.4-3build1_amd64.deb                      04-Mar-2026 09:35      2M
elpi_1.17.4.orig.tar.gz                            04-Mar-2026 09:35      2M
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb         04-Mar-2026 09:35     11M
libelpi-ocaml_1.17.4-3build1_amd64.deb             04-Mar-2026 09:35      5M