Index of /debian-mirror/squeeze_20120726/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.2.pl2+dfsg-1_all.deb	03-Jul-2010 00:19	18M
	coq_8.2.pl2+dfsg-1.debian.tar.gz	03-Jul-2010 00:19	16K
	coq_8.2.pl2+dfsg-1.dsc	03-Jul-2010 00:19	2.1K
	coq_8.2.pl2+dfsg-1_amd64.deb	03-Jul-2010 00:19	15M
	coq_8.2.pl2+dfsg-1_armel.deb	04-Jul-2010 05:17	3.5M
	coq_8.2.pl2+dfsg-1_i386.deb	03-Jul-2010 02:03	13M
	coq_8.2.pl2+dfsg.orig.tar.gz	03-Jul-2010 00:19	3.0M
	coqide_8.2.pl2+dfsg-1_amd64.deb	03-Jul-2010 00:19	6.2M
	coqide_8.2.pl2+dfsg-1_armel.deb	04-Jul-2010 05:17	2.3M
	coqide_8.2.pl2+dfsg-1_i386.deb	03-Jul-2010 02:03	5.7M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	03-Jul-2010 00:19	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb	04-Jul-2010 05:17	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	03-Jul-2010 02:03	5.7M