Index of /ftp/pub/Debian/debian-backports/pool/main/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
2013-03-16 18:22
52M
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
2013-03-16 18:22
16K
coq_8.3.pl3+dfsg-1~bpo60+1.dsc
2013-03-16 18:22
2.2K
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
2013-03-16 18:22
5.3M
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb
2013-03-16 18:22
1.7M
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb
2013-03-16 18:22
4.7M
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
2013-03-16 18:22
1.7M
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
2013-03-16 18:22
5.3M
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
2013-03-16 18:22
4.7M
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb
2013-03-16 18:22
1.7M
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
2013-03-16 18:22
1.7M
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
2013-03-16 18:22
5.2M
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb
2013-03-16 18:22
1.7M
coq_8.3.pl3+dfsg.orig.tar.gz
2013-03-16 18:22
3.0M
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
2013-03-16 18:22
5.3M
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb
2013-03-16 18:22
2.4M
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb
2013-03-16 18:22
4.9M
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
2013-03-16 18:22
2.4M
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
2013-03-16 18:22
5.3M
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
2013-03-16 18:22
4.9M
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb
2013-03-16 18:22
2.4M
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
2013-03-16 18:22
2.4M
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
2013-03-16 18:22
5.3M
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb
2013-03-16 18:22
2.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
2013-03-16 18:22
5.6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb
2013-03-16 18:22
2.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb
2013-03-16 18:22
5.5M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
2013-03-16 18:22
2.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
2013-03-16 18:22
5.6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
2013-03-16 18:22
5.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb
2013-03-16 18:22
2.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
2013-03-16 18:22
2.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
2013-03-16 18:22
6.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb
2013-03-16 18:22
2.4M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
2013-03-16 18:22
2.0M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb
2013-03-16 18:22
522K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb
2013-03-16 18:22
1.8M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
2013-03-16 18:22
523K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
2013-03-16 18:22
2.0M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
2013-03-16 18:22
1.8M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb
2013-03-16 18:22
519K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
2013-03-16 18:22
518K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
2013-03-16 18:22
2.0M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb
2013-03-16 18:22
519K
Apache/2.4.62 (Debian) Server at ftp.ens-paris-saclay.fr Port 80