Index of /ubuntu-snapshots/2022-01-01-0655/pool/universe/e/elpi/


../
elpi_1.13.8-1build1.debian.tar.xz                  09-Dec-2021 02:34                3740
elpi_1.13.8-1build1.dsc                            09-Dec-2021 02:34                2223
elpi_1.13.8-1build1_amd64.deb                      09-Dec-2021 18:09             1151570
elpi_1.13.8.orig.tar.gz                            30-Nov-2021 05:39             1539046
libelpi-ocaml-dev_1.13.8-1build1_amd64.deb         09-Dec-2021 18:09             8685368
libelpi-ocaml_1.13.8-1build1_amd64.deb             09-Dec-2021 18:09             2344456