Index of /mirror/ftp.debian.org/debian-archive/backports.org/pool/main/c/coq/
../
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb 16-Mar-2013 17:22 54040792
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz 16-Mar-2013 17:22 16475
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 5599138
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 1777754
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 4883346
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 1777210
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 16-Mar-2013 17:22 5592652
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 16-Mar-2013 17:22 4880722
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 1777104
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 1775658
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 16-Mar-2013 17:22 5482678
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 1774124
coq_8.3.pl3+dfsg.orig.tar.gz 16-Mar-2013 17:22 3152870
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 5540418
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 2483660
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 5118062
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 2485248
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 16-Mar-2013 17:22 5539112
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 16-Mar-2013 17:22 5116388
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 2485196
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 2483616
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 16-Mar-2013 17:22 5564152
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 2483252
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 5886524
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 2505282
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 5748012
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 2511510
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 16-Mar-2013 17:22 5856994
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 16-Mar-2013 17:22 5709712
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 2507912
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 2506574
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc..> 16-Mar-2013 17:22 6700426
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 2506406
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 16-Mar-2013 17:22 2096404
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb 16-Mar-2013 17:22 534734
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb 16-Mar-2013 17:22 1852056
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 16-Mar-2013 17:22 535282
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-am..> 16-Mar-2013 17:22 2094916
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i3..> 16-Mar-2013 17:22 1854494
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb 16-Mar-2013 17:22 531732
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22 530486
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 16-Mar-2013 17:22 2138908
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb 16-Mar-2013 17:22 531036