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            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_i386.deb                16-Mar-2013 17:22             4883346
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.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_i386.deb             16-Mar-2013 17:22             5118062
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
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_i386.deb   16-Mar-2013 17:22             5748012
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_8.3.pl3+dfsg-1~bpo60+1_amd64.deb      16-Mar-2013 17:22             2096404
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_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