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

../
elpi_1.16.8-1+b2_amd64.deb                         14-Jun-2023 20:21      1M
elpi_1.16.8-1+b2_arm64.deb                         14-Jun-2023 20:21      2M
elpi_1.16.8-1.debian.tar.xz                        14-Jun-2023 13:57    4104
elpi_1.16.8-1.dsc                                  14-Jun-2023 13:57    2430
elpi_1.16.8.orig.tar.gz                            14-Jun-2023 13:57      2M
libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb            14-Jun-2023 20:21     10M
libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb            14-Jun-2023 20:21     10M
libelpi-ocaml_1.16.8-1+b2_amd64.deb                14-Jun-2023 20:21      5M
libelpi-ocaml_1.16.8-1+b2_arm64.deb                14-Jun-2023 20:21      5M