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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-libs_8.0pl2-2_all.deb	2005-03-31 22:17	3.6M
	coq7-libs_8.0pl2-2_all.deb	2005-03-31 22:17	3.6M
	coq_8.0pl2-2_i386.deb	2005-03-31 22:17	5.8M
	coqide_8.0pl2-2_i386.deb	2005-03-31 22:17	3.9M