Index of /pool/universe/e/elpi

	Name	Last modified	Size	Description
	Parent Directory		-
	elpi_1.14.1-1.debian..>	2022-02-09 09:05	4.0K
	elpi_1.14.1-1.dsc	2022-02-09 09:05	2.1K
	elpi_1.14.1-1_amd64.deb	2022-02-09 09:07	1.2M
	elpi_1.14.1.orig.tar.gz	2022-02-09 09:05	1.5M
	elpi_1.17.4-3build1...>	2024-02-17 04:07	4.5K
	elpi_1.17.4-3build1.dsc	2024-02-17 04:07	2.3K
	elpi_1.17.4-3build1_..>	2024-02-17 10:03	1.6M
	elpi_1.17.4.orig.tar.gz	2023-12-22 03:22	2.5M
	elpi_1.18.2-5build3...>	2024-09-17 16:29	4.9K
	elpi_1.18.2-5build3.dsc	2024-09-17 16:29	2.3K
	elpi_1.18.2-5build3_..>	2024-09-19 17:33	1.7M
	elpi_1.18.2.orig.tar.gz	2024-05-03 05:25	2.5M
	elpi_2.0.7-1.debian...>	2025-02-18 05:09	5.0K
	elpi_2.0.7-1.dsc	2025-02-18 05:09	2.4K
	elpi_2.0.7-1_amd64.deb	2025-02-18 05:10	2.0M
	elpi_2.0.7.orig.tar.gz	2025-02-18 05:09	2.5M
	libelpi-ocaml-dev_1...>	2022-02-09 09:07	8.0M
	libelpi-ocaml-dev_1...>	2024-02-17 10:03	11M
	libelpi-ocaml-dev_1...>	2024-09-19 17:33	13M
	libelpi-ocaml-dev_2...>	2025-02-18 05:10	15M
	libelpi-ocaml_1.14.1..>	2022-02-09 09:07	2.3M
	libelpi-ocaml_1.17.4..>	2024-02-17 10:03	4.6M
	libelpi-ocaml_1.18.2..>	2024-09-19 17:33	3.1M
	libelpi-ocaml_2.0.7-..>	2025-02-18 05:10	3.8M