Index of /pool/main/c/coq-elpi

	Name	Last modified	Size
	Parent Directory		-
	coq-elpi_1.16.0-2.debian.tar.xz	2023-01-25 19:56	3.3K
	coq-elpi_1.16.0-2.dsc	2023-01-25 19:56	2.0K
	coq-elpi_1.16.0.orig.tar.gz	2022-11-21 04:35	416K
	coq-elpi_2.5.0-1.1.debian.tar.xz	2025-06-17 19:00	3.8K
	coq-elpi_2.5.0-1.1.dsc	2025-06-17 19:00	2.0K
	coq-elpi_2.5.0-1.2.debian.tar.xz	2025-10-29 01:55	3.8K
	coq-elpi_2.5.0-1.2.dsc	2025-10-29 01:55	2.0K
	coq-elpi_2.5.0.orig.tar.gz	2025-03-19 01:33	728K
	coq-elpi_3.4.0-1.debian.tar.xz	2026-07-10 23:12	3.6K
	coq-elpi_3.4.0-1.dsc	2026-07-10 23:12	2.1K
	coq-elpi_3.4.0.orig.tar.gz	2026-07-10 23:12	1.1M
	coq-elpi_3.5.0-1.debian.tar.xz	2026-07-28 21:29	5.3K
	coq-elpi_3.5.0-1.dsc	2026-07-28 21:29	2.1K
	coq-elpi_3.5.0.orig.tar.gz	2026-07-28 21:29	1.1M
	libcoq-elpi_1.16.0-2+b1_amd64.deb	2023-02-14 22:59	2.3M
	libcoq-elpi_1.16.0-2+b1_arm64.deb	2023-02-14 22:59	2.4M
	libcoq-elpi_1.16.0-2+b1_i386.deb	2023-02-14 22:49	2.2M
	libcoq-elpi_2.5.0-1.1_amd64.deb	2025-06-17 19:16	12M
	libcoq-elpi_2.5.0-1.1_arm64.deb	2025-06-17 19:21	12M
	libcoq-elpi_2.5.0-1.2+b4_amd64.deb	2026-02-14 08:47	12M
	libcoq-elpi_2.5.0-1.2+b4_arm64.deb	2026-02-14 06:49	12M
	libcoq-elpi_3.4.0-1_amd64.deb	2026-07-10 23:12	12M
	libcoq-elpi_3.4.0-1_arm64.deb	2026-07-12 06:16	13M
	libcoq-elpi_3.5.0-1+b1_amd64.deb	2026-07-28 22:15	12M
	libcoq-elpi_3.5.0-1_amd64.deb	2026-07-28 21:29	12M
	libcoq-elpi_3.5.0-1_arm64.deb	2026-07-28 21:44	13M