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