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