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


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