Index of /pool/universe/c/coq

	Name	Last modified	Size
	Parent Directory		-
	coq_8.1.pl3+dfsg-1.diff.gz	2008-01-07 21:03	15K
	coq_8.1.pl3+dfsg-1.dsc	2008-01-07 21:03	1.0K
	coq_8.1.pl3+dfsg.orig.tar.gz	2008-01-07 21:03	2.4M
	coq-libs_8.1.pl3+dfsg-1_all.deb	2008-01-08 00:07	12M
	coq_8.1.pl3+dfsg-1_lpia.deb	2008-01-08 00:07	4.0M
	coqide_8.1.pl3+dfsg-1_lpia.deb	2008-01-08 00:07	2.3M