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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-elpi_2.5.0-1.2_amd64.deb	2025-10-28 14:16	12M
	libcoq-elpi_2.5.0-1.2+b4_amd64.deb	2026-02-13 20:47	12M
	libcoq-elpi_2.5.0-1.2+b2_amd64.deb	2025-12-28 05:45	12M