Index of /ubuntu/pool/universe/e/elpi
Name
Last modified
Size
Description
Parent Directory
-
libelpi-ocaml_1.14.1-1_amd64.deb
2022-03-29 15:02
2.3M
libelpi-ocaml-dev_1.14.1-1_amd64.deb
2022-03-29 14:38
8.0M
elpi_1.14.1-1_amd64.deb
2022-03-29 16:35
1.2M