Index of ftp://kambing.ui.edu/debian-backports/pool/main/c/coq

[DIR] Parent Directory

[ ] coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb  5.34Mb  March 17 2013 at 00:22
[ ] coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb  1.70Mb  March 17 2013 at 00:22
[ GZ] coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz  16.09Kb  March 17 2013 at 00:22
[ ] coq_8.3.pl3+dfsg-1~bpo60+1.dsc  2.15Kb  March 17 2013 at 00:22
[ ] coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb  4.66Mb  March 17 2013 at 00:22
[ ] coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb  5.33Mb  March 17 2013 at 00:22
[ ] coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb  4.65Mb  March 17 2013 at 00:22
[ GZ] coq_8.3.pl3+dfsg.orig.tar.gz  3.01Mb  March 17 2013 at 00:22
[ ] coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb  5.28Mb  March 17 2013 at 00:22
[ ] coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb  2.37Mb  March 17 2013 at 00:22
[ ] coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb  4.88Mb  March 17 2013 at 00:22
[ ] coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb  5.28Mb  March 17 2013 at 00:22
[ ] coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb  4.88Mb  March 17 2013 at 00:22
[ ] coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb  51.54Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb  2.00Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb  522.20Kb  March 17 2013 at 00:22
[ ] libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb  1.77Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb  2.00Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb  1.77Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb  5.61Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb  2.39Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb  5.48Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb  5.59Mb  March 17 2013 at 00:22
[ ] libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb  5.45Mb  March 17 2013 at 00:22