Index of /debian-archive/debian-backports/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 19:22	1.8M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 19:22	2.0M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 19:22	5.5M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 19:22	5.6M
	coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 19:22	4.9M
	coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 19:22	5.3M
	coq_8.3.pl3+dfsg.orig.tar.gz	2013-03-16 19:22	3.0M
	coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 19:22	4.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 19:22	5.3M
	coq_8.3.pl3+dfsg-1~bpo60+1.dsc	2013-03-16 19:22	2.2K
	coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz	2013-03-16 19:22	16K
	coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb	2013-03-16 19:22	52M