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

	Name	Last modified	Size
	Parent Directory		-
	libcoq-elpi_2.5.0-1.2+b2_2.5.0-1.2+b4_amd64.debdelta	2026-02-13 21:10	55K
	libcoq-elpi_3.2.0-3_3.2.0-3+b1_amd64.debdelta-too-big	2026-02-15 14:53	0