Index of /debian-deltas/pool/non-free/c/coq-doc

	Name	Last modified	Size
	Parent Directory		-
	coq-doc-html_8.20.0-2_9.2.0-1_all.debdelta	2026-08-03 21:09	805K
	coq-doc-pdf_8.20.0-2_9.2.0-1_all.debdelta-too-big	2026-08-03 21:09	0