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

	Name	Last modified	Size	Description
	Parent Directory		-
	elpi_1.16.8-1+b2_i38..>	2023-02-14 09:21	1.4M
	libelpi-ocaml-dev_1...>	2023-02-14 09:21	9.6M
	libelpi-ocaml_1.16.8..>	2023-02-14 09:21	4.6M