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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb	2013-03-16 17:22	52M
	coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz	2013-03-16 17:22	16K
	coq_8.3.pl3+dfsg-1~bpo60+1.dsc	2013-03-16 17:22	2.2K
	coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 17:22	5.3M
	coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb	2013-03-16 17:22	1.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 17:22	4.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb	2013-03-16 17:22	1.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb	2013-03-16 17:22	5.3M
	coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb	2013-03-16 17:22	4.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb	2013-03-16 17:22	1.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb	2013-03-16 17:22	1.7M
	coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb	2013-03-16 17:22	5.2M
	coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb	2013-03-16 17:22	1.7M
	coq_8.3.pl3+dfsg.orig.tar.gz	2013-03-16 17:22	3.0M
	coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 17:22	5.3M
	coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb	2013-03-16 17:22	2.4M
	coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 17:22	4.9M
	coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb	2013-03-16 17:22	2.4M
	coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb	2013-03-16 17:22	5.3M
	coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb	2013-03-16 17:22	4.9M
	coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb	2013-03-16 17:22	2.4M
	coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb	2013-03-16 17:22	2.4M
	coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb	2013-03-16 17:22	5.3M
	coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb	2013-03-16 17:22	2.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 17:22	5.6M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb	2013-03-16 17:22	2.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 17:22	5.5M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb	2013-03-16 17:22	2.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb	2013-03-16 17:22	5.6M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb	2013-03-16 17:22	5.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb	2013-03-16 17:22	2.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb	2013-03-16 17:22	2.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb	2013-03-16 17:22	6.4M
	libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb	2013-03-16 17:22	2.4M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb	2013-03-16 17:22	2.0M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb	2013-03-16 17:22	522K
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb	2013-03-16 17:22	1.8M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb	2013-03-16 17:22	523K
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb	2013-03-16 17:22	2.0M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb	2013-03-16 17:22	1.8M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb	2013-03-16 17:22	519K
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb	2013-03-16 17:22	518K
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb	2013-03-16 17:22	2.0M
	libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb	2013-03-16 17:22	519K