Index of /pureos/pool/main/e/elpi/

../
elpi_1.16.8-1+b2_amd64.deb                         30-Apr-2023 08:49      1M
elpi_1.16.8-1+b2_arm64.deb                         30-Apr-2023 08:49      2M
elpi_1.16.8-1.debian.tar.xz                        29-Apr-2023 17:42    4104
elpi_1.16.8-1.dsc                                  29-Apr-2023 17:42    2430
elpi_1.16.8.orig.tar.gz                            29-Apr-2023 17:42      2M
libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb            30-Apr-2023 08:49     10M
libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb            30-Apr-2023 08:49     10M
libelpi-ocaml_1.16.8-1+b2_amd64.deb                30-Apr-2023 08:49      5M
libelpi-ocaml_1.16.8-1+b2_arm64.deb                30-Apr-2023 08:49      5M