Index of /ubuntu-ports/pool/universe/c/coq-elpi

	Name	Last modified	Size
	Parent Directory		-
	libcoq-elpi_2.4.0-1build1_riscv64.deb	2025-02-19 00:23	14M
	libcoq-elpi_2.4.0-1build1_arm64.deb	2025-02-18 21:25	13M
	libcoq-elpi_2.5.0-1_arm64.deb	2025-05-01 19:16	13M
	libcoq-elpi_2.4.0-1build1_ppc64el.deb	2025-02-18 21:26	13M
	libcoq-elpi_2.4.0-1build1_s390x.deb	2025-02-19 00:24	13M
	libcoq-elpi_2.5.0-1_ppc64el.deb	2025-05-01 23:14	13M
	libcoq-elpi_2.5.0-1_s390x.deb	2025-05-01 23:18	13M
	libcoq-elpi-ocaml_1.13.0-1_arm64.deb	2022-02-10 23:53	5.0M
	libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb	2022-02-10 23:34	4.8M
	libcoq-elpi-ocaml_1.13.0-1_riscv64.deb	2022-02-11 01:39	4.8M
	libcoq-elpi-ocaml_1.13.0-1_armhf.deb	2022-02-10 23:53	4.8M
	libcoq-elpi_1.19.3-2build4_arm64.deb	2024-04-08 07:57	3.2M
	libcoq-elpi_1.19.3-2build4_riscv64.deb	2024-04-08 07:57	3.1M
	libcoq-elpi_1.19.3-2build4_s390x.deb	2024-04-08 07:57	3.1M
	libcoq-elpi_1.19.3-2build4_ppc64el.deb	2024-04-08 07:57	3.1M
	libcoq-elpi_2.1.0-1build9_arm64.deb	2024-09-19 17:02	3.0M
	libcoq-elpi_1.19.3-2build4_armhf.deb	2024-04-08 07:57	3.0M
	libcoq-elpi_2.1.0-1build9_riscv64.deb	2024-09-19 17:02	3.0M
	libcoq-elpi_2.1.0-1build9_s390x.deb	2024-09-19 17:02	3.0M
	libcoq-elpi_2.1.0-1build9_ppc64el.deb	2024-09-19 17:02	2.9M
	libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb	2022-02-11 01:39	1.9M
	libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb	2022-02-10 23:34	1.7M
	libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb	2022-02-10 23:53	1.7M
	libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb	2022-02-10 23:53	1.7M