Index of /pub/ubuntu/pool/universe/e/elpi
Name Last modified Size Description
Parent Directory -
elpi_1.13.7-2.debian.tar.xz 2021-11-29 07:23 3.0K
elpi_1.13.7-2.dsc 2021-11-29 07:23 2.1K
elpi_1.13.7-2_amd64.deb 2021-11-29 17:24 1.1M
elpi_1.13.7.orig.tar.gz 2021-11-29 07:23 1.5M
elpi_1.13.8-1.debian.tar.xz 2021-11-30 13:39 3.5K
elpi_1.13.8-1.dsc 2021-11-30 13:39 2.1K
elpi_1.13.8-1_amd64.deb 2021-11-30 13:39 1.1M
elpi_1.13.8-1build1.debian.tar.xz 2021-12-09 10:34 3.7K
elpi_1.13.8-1build1.dsc 2021-12-09 10:34 2.2K
elpi_1.13.8-1build1_amd64.deb 2021-12-10 02:09 1.1M
elpi_1.13.8.orig.tar.gz 2021-11-30 13:39 1.5M
libelpi-ocaml-dev_1.13.7-2_amd64.deb 2021-11-29 17:24 8.4M
libelpi-ocaml-dev_1.13.8-1_amd64.deb 2021-11-30 13:39 8.3M
libelpi-ocaml-dev_1.13.8-1build1_amd64.deb 2021-12-10 02:09 8.3M
libelpi-ocaml_1.13.7-2_amd64.deb 2021-11-29 17:24 2.2M
libelpi-ocaml_1.13.8-1_amd64.deb 2021-11-30 13:39 2.2M
libelpi-ocaml_1.13.8-1build1_amd64.deb 2021-12-10 02:09 2.2M