Index of /debian-amd64/pool/main/c/coq

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