Index of /ubuntu/pool/universe/e/elpi

	Name	Last modified	Size	Description
	Parent Directory		-
	elpi_1.14.1-1.dsc	2022-02-09 14:35	2.1K
	elpi_1.17.4-3build1.dsc	2024-02-17 09:37	2.3K
	elpi_1.18.2-5build3.dsc	2024-09-17 21:59	2.3K
	elpi_1.19.6-1.dsc	2024-11-21 03:47	2.4K
	elpi_1.14.1-1.debian..>	2022-02-09 14:35	4.0K
	elpi_1.17.4-3build1...>	2024-02-17 09:37	4.5K
	elpi_1.19.6-1.debian..>	2024-11-21 03:47	4.8K
	elpi_1.18.2-5build3...>	2024-09-17 21:59	4.9K
	elpi_1.14.1-1_amd64.deb	2022-02-09 14:37	1.2M
	elpi_1.14.1.orig.tar.gz	2022-02-09 14:35	1.5M
	elpi_1.17.4-3build1_..>	2024-02-17 15:33	1.6M
	elpi_1.18.2-5build3_..>	2024-09-19 23:03	1.7M
	elpi_1.19.6-1_amd64.deb	2024-11-21 03:48	1.8M
	libelpi-ocaml_1.14.1..>	2022-02-09 14:37	2.3M
	elpi_1.17.4.orig.tar.gz	2023-12-22 08:52	2.5M
	elpi_1.18.2.orig.tar.gz	2024-05-03 10:55	2.5M
	elpi_1.19.6.orig.tar.gz	2024-11-21 03:47	2.5M
	libelpi-ocaml_1.18.2..>	2024-09-19 23:03	3.1M
	libelpi-ocaml_1.19.6..>	2024-11-21 03:48	3.2M
	libelpi-ocaml_1.17.4..>	2024-02-17 15:33	4.6M
	libelpi-ocaml-dev_1...>	2022-02-09 14:37	8.0M
	libelpi-ocaml-dev_1...>	2024-02-17 15:33	11M
	libelpi-ocaml-dev_1...>	2024-09-19 23:03	13M
	libelpi-ocaml-dev_1...>	2024-11-21 03:48	14M