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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb2013-03-16 17:22 52M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz2013-03-16 17:22 16K 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1.dsc2013-03-16 17:22 2.2K 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 17:22 5.3M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-03-16 17:22 1.7M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-03-16 17:22 4.7M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-03-16 17:22 1.7M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-03-16 17:22 5.3M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-03-16 17:22 4.7M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-03-16 17:22 1.7M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-03-16 17:22 1.7M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-03-16 17:22 5.2M 
[ ]coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-03-16 17:22 1.7M 
[ ]coq_8.3.pl3+dfsg.orig.tar.gz2013-03-16 17:22 3.0M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 17:22 5.3M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-03-16 17:22 2.4M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-03-16 17:22 4.9M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-03-16 17:22 2.4M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-03-16 17:22 5.3M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-03-16 17:22 4.9M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-03-16 17:22 2.4M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-03-16 17:22 2.4M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-03-16 17:22 5.3M 
[ ]coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-03-16 17:22 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 17:22 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-03-16 17:22 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-03-16 17:22 5.5M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-03-16 17:22 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-03-16 17:22 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-03-16 17:22 5.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-03-16 17:22 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-03-16 17:22 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-03-16 17:22 6.4M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-03-16 17:22 2.4M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 17:22 2.0M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-03-16 17:22 522K 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-03-16 17:22 1.8M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-03-16 17:22 523K 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-03-16 17:22 2.0M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-03-16 17:22 1.8M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-03-16 17:22 519K 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-03-16 17:22 518K 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-03-16 17:22 2.0M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-03-16 17:22 519K