Directory listing of /ubuntu/pool/universe/e/elpi/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
libelpi-ocaml-dev_1.14.1-1_amd64.deb
8.0 MiB
2022-Feb-09 06:37
libelpi-ocaml_1.14.1-1_amd64.deb
2.3 MiB
2022-Feb-09 06:37
elpi_1.14.1-1_amd64.deb
1.2 MiB
2022-Feb-09 06:37