Index of /ubuntu/pool/universe/e/elpi/
../
elpi_1.14.1-1.debian.tar.xz 09-Feb-2022 05:35 4088
elpi_1.14.1-1.dsc 09-Feb-2022 05:35 2121
elpi_1.14.1-1_amd64.deb 09-Feb-2022 05:37 1221096
elpi_1.14.1.orig.tar.gz 09-Feb-2022 05:35 1544090
elpi_1.16.5-1.debian.tar.xz 17-Jul-2022 18:04 3524
elpi_1.16.5-1.dsc 17-Jul-2022 18:04 2200
elpi_1.16.5-1_amd64.deb 21-Jul-2022 06:18 1783802
elpi_1.16.5.orig.tar.gz 17-Jul-2022 18:04 2617496
elpi_1.16.8-1.debian.tar.xz 07-Dec-2022 11:39 4104
elpi_1.16.8-1.dsc 07-Dec-2022 11:39 2430
elpi_1.16.8-1_amd64.deb 07-Dec-2022 11:39 1766040
elpi_1.16.8.orig.tar.gz 07-Dec-2022 11:39 2601311
libelpi-ocaml-dev_1.14.1-1_amd64.deb 09-Feb-2022 05:37 8360746
libelpi-ocaml-dev_1.16.5-1_amd64.deb 21-Jul-2022 06:18 12596794
libelpi-ocaml-dev_1.16.8-1_amd64.deb 07-Dec-2022 11:39 12659774
libelpi-ocaml_1.14.1-1_amd64.deb 09-Feb-2022 05:37 2416776
libelpi-ocaml_1.16.5-1_amd64.deb 21-Jul-2022 06:18 6372228
libelpi-ocaml_1.16.8-1_amd64.deb 07-Dec-2022 11:39 6370286