Index of /repository/archive/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coqide_8.0pl3-2_i386.deb	2006-02-19 13:32	3.3M
	coq_8.0pl3.orig.tar.gz	2006-01-23 23:02	2.2M
	coq_8.0pl3-2_i386.deb	2006-02-19 13:32	5.8M
	coq_8.0pl3-2.dsc	2006-02-19 13:32	891
	coq_8.0pl3-2.diff.gz	2006-02-19 13:32	16K
	coq7-libs_8.0pl3-2_all.deb	2006-02-19 13:32	3.6M
	coq-libs_8.0pl3-2_all.deb	2006-02-19 13:32	3.6M