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

../
elpi_1.14.1-1.debian.tar.xz                        29-Aug-2022 16:40    4088
elpi_1.14.1-1.dsc                                  29-Aug-2022 16:40    2121
elpi_1.14.1-1_amd64.deb                            29-Aug-2022 16:40      1M
elpi_1.14.1.orig.tar.gz                            29-Aug-2022 16:40      1M
elpi_1.17.4-3build1.debian.tar.xz                  06-May-2024 19:14    4568
elpi_1.17.4-3build1.dsc                            06-May-2024 19:14    2308
elpi_1.17.4-3build1_amd64.deb                      06-May-2024 19:14      2M
elpi_1.17.4.orig.tar.gz                            06-May-2024 19:14      2M
libelpi-ocaml-dev_1.14.1-1_amd64.deb               29-Aug-2022 16:40      8M
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb         06-May-2024 19:14     11M
libelpi-ocaml_1.14.1-1_amd64.deb                   29-Aug-2022 16:40      2M
libelpi-ocaml_1.17.4-3build1_amd64.deb             06-May-2024 19:14      5M