Index of /Linux/debian/debian-archive/backports.org/pool/main/c/coq

[ICO]NameLast modifiedSizeDescription

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