Index of /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