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

	Name	Last modified	Size	Description
	Parent Directory		-
	coqide_8.1.pl3+dfsg-1+b2_i386.deb	26-May-2008 16:17	4.7M
	coqide_8.1.pl3+dfsg-1+b2_amd64.deb	23-May-2008 18:17	5.0M
	coqide_8.0pl3-2_i386.deb	19-Feb-2006 13:32	3.3M
	coqide_8.0pl3-2_amd64.deb	31-Mar-2006 17:02	3.5M
	coq_8.1.pl3+dfsg.orig.tar.gz	05-Jan-2008 10:32	2.4M
	coq_8.1.pl3+dfsg-1.dsc	05-Jan-2008 10:32	1.0K
	coq_8.1.pl3+dfsg-1.diff.gz	05-Jan-2008 10:32	15K
	coq_8.1.pl3+dfsg-1+b2_i386.deb	26-May-2008 16:17	8.1M
	coq_8.1.pl3+dfsg-1+b2_amd64.deb	23-May-2008 18:17	8.6M
	coq_8.0pl3.orig.tar.gz	23-Jan-2006 23:02	2.2M
	coq_8.0pl3-2_i386.deb	19-Feb-2006 13:32	5.8M
	coq_8.0pl3-2_amd64.deb	31-Mar-2006 17:02	6.2M
	coq_8.0pl3-2.dsc	19-Feb-2006 13:32	891
	coq_8.0pl3-2.diff.gz	19-Feb-2006 13:32	16K
	coq7-libs_8.0pl3-2_all.deb	19-Feb-2006 13:32	3.6M
	coq-libs_8.1.pl3+dfsg-1_all.deb	05-Jan-2008 10:32	12M
	coq-libs_8.0pl3-2_all.deb	19-Feb-2006 13:32	3.6M