Index of /repository/devuan5/mainrepo-amd64/mirror/deb.devuan.org/merged/pool/DEBIAN/main/e/elpi

	Name	Last modified	Size	Description
	Parent Directory		-
	elpi_1.16.8-1+b2_amd..>	2023-02-14 09:27	1.5M
	libelpi-ocaml-dev_1...>	2023-02-14 09:27	9.9M
	libelpi-ocaml_1.16.8..>	2023-02-14 09:27	4.7M