Index of /software/Linux/debian-archive/debian-amd64/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-libs_8.0pl2-2_all.deb	2005-04-30 12:54	3.6M
	coq7-libs_8.0pl2-2_all.deb	2005-03-31 23:17	3.6M
	coq_8.0pl2-2.diff.gz	2005-04-30 12:54	11K
	coq_8.0pl2-2.dsc	2005-04-30 12:54	919
	coq_8.0pl2-2_amd64.deb	2005-04-30 12:54	6.2M
	coq_8.0pl2.orig.tar.gz	2005-04-30 12:54	2.2M
	coqide_8.0pl2-2_amd64.deb	2005-04-30 12:54	4.1M