Studenten Net Twente Mirror service

Index of /pub/os/linux/ubuntu/pool/universe/e/elpi/

Filename Modification time Size
elpi_1.14.1-1.debian.tar.xz 4088 B
elpi_1.14.1-1.dsc 2121 B
elpi_1.14.1-1_amd64.deb 1192 KiB
elpi_1.14.1.orig.tar.gz 1508 KiB
elpi_1.17.4-3build1.debian.tar.xz 4568 B
elpi_1.17.4-3build1.dsc 2308 B
elpi_1.17.4-3build1_amd64.deb 1605 KiB
elpi_1.17.4.orig.tar.gz 2548 KiB
elpi_1.18.2-5build3.debian.tar.xz 5012 B
elpi_1.18.2-5build3.dsc 2400 B
elpi_1.18.2-5build3_amd64.deb 1784 KiB
elpi_1.18.2.orig.tar.gz 2569 KiB
elpi_2.0.5-1.debian.tar.xz 4732 B
elpi_2.0.5-1.dsc 2441 B
elpi_2.0.5-1_amd64.deb 1988 KiB
elpi_2.0.5.orig.tar.gz 2578 KiB
libelpi-ocaml-dev_1.14.1-1_amd64.deb 8165 KiB
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 11 MiB
libelpi-ocaml-dev_1.18.2-5build3_amd64.deb 13 MiB
libelpi-ocaml-dev_2.0.5-1_amd64.deb 15 MiB
libelpi-ocaml_1.14.1-1_amd64.deb 2360 KiB
libelpi-ocaml_1.17.4-3build1_amd64.deb 4729 KiB
libelpi-ocaml_1.18.2-5build3_amd64.deb 3155 KiB
libelpi-ocaml_2.0.5-1_amd64.deb 3859 KiB