Index of /debian-archive/debian-backports/pool/main/c/coq/
../
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb 16-Mar-2013 17:22 52M
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz 16-Mar-2013 17:22 16K
coq_8.3.pl3+dfsg-1~bpo60+1.dsc 16-Mar-2013 17:22 2205
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 5M
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 2M
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 5M
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 2M
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 16-Mar-2013 17:22 5M
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 16-Mar-2013 17:22 5M
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 2M
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 2M
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 16-Mar-2013 17:22 5M
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 2M
coq_8.3.pl3+dfsg.orig.tar.gz 16-Mar-2013 17:22 3M
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 16-Mar-2013 17:22 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 16-Mar-2013 17:22 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 16-Mar-2013 17:22 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 5M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 16-Mar-2013 17:22 6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 16-Mar-2013 17:22 5M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc..> 16-Mar-2013 17:22 6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 522K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 523K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-am..> 16-Mar-2013 17:22 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i3..> 16-Mar-2013 17:22 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 519K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 518K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 16-Mar-2013 17:22 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 519K