Index of /ftp/pub/Debian/debian-backports/pool/main/c/coq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-03-16 18:22 519K 
[   ]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_mipsel.deb2013-03-16 18:22 518K 
[   ]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_kfreebsd-i386.deb2013-03-16 18:22 1.8M 
[   ]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_ia64.deb2013-03-16 18:22 523K 
[   ]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_armel.deb2013-03-16 18:22 522K 
[   ]libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 18:22 2.0M 
[   ]libcoq-ocaml-dev_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_powerpc.deb2013-03-16 18:22 6.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_mips.deb2013-03-16 18:22 2.4M 
[   ]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_kfreebsd-amd64.deb2013-03-16 18:22 5.6M 
[   ]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_i386.deb2013-03-16 18:22 5.5M 
[   ]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_amd64.deb2013-03-16 18:22 5.6M 
[   ]coqide_8.3.pl3+dfsg-1~bpo60+1_s390.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_mipsel.deb2013-03-16 18:22 2.4M 
[   ]coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-03-16 18:22 2.4M 
[   ]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_kfreebsd-amd64.deb2013-03-16 18:22 5.3M 
[   ]coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.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_armel.deb2013-03-16 18:22 2.4M 
[   ]coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 18:22 5.3M 
[   ]coq_8.3.pl3+dfsg.orig.tar.gz2013-03-16 18:22 3.0M 
[   ]coq_8.3.pl3+dfsg-1~bpo60+1_s390.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_mipsel.deb2013-03-16 18:22 1.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_kfreebsd-i386.deb2013-03-16 18:22 4.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_ia64.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_armel.deb2013-03-16 18:22 1.7M 
[   ]coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-03-16 18:22 5.3M 
[TXT]coq_8.3.pl3+dfsg-1~bpo60+1.dsc2013-03-16 18:22 2.2K 
[   ]coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz2013-03-16 18:22 16K 
[   ]coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb2013-03-16 18:22 52M 

Apache/2.4.62 (Debian) Server at ftp.ens-paris-saclay.fr Port 80