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

[ICO]NameLast modifiedSize

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

Apache/2.4.54 (Debian) Server at debian-archive.dynamica.it Port 80