Index of /debian-archive/debian-backports/pool/main/c/coq/
name
size
date
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb
2.39M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
2.00M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb
0.51M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb
1.77M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
0.51M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
2.00M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
1.77M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb
0.51M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
0.51M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
2.04M
2013-03-16 17:22:17
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb
0.51M
2013-03-16 17:22:17
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
5.59M
2013-03-16 17:22:16
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
5.45M
2013-03-16 17:22:16
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb
2.39M
2013-03-16 17:22:16
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
2.39M
2013-03-16 17:22:16
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
6.39M
2013-03-16 17:22:16
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
5.31M
2013-03-16 17:22:15
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb
2.37M
2013-03-16 17:22:15
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
5.61M
2013-03-16 17:22:15
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb
2.39M
2013-03-16 17:22:15
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb
5.48M
2013-03-16 17:22:15
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
2.40M
2013-03-16 17:22:15
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb
4.88M
2013-03-16 17:22:14
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
2.37M
2013-03-16 17:22:14
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
5.28M
2013-03-16 17:22:14
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
4.88M
2013-03-16 17:22:14
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb
2.37M
2013-03-16 17:22:14
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
2.37M
2013-03-16 17:22:14
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb
4.66M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
1.69M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
5.33M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
4.65M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb
1.69M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
1.69M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
5.23M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb
1.69M
2013-03-16 17:22:13
coq_8.3.pl3+dfsg.orig.tar.gz
3.01M
2013-03-16 17:22:13
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
5.28M
2013-03-16 17:22:13
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb
2.37M
2013-03-16 17:22:13
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
51.54M
2013-03-16 17:22:12
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
16.1K
2013-03-16 17:22:12
coq_8.3.pl3+dfsg-1~bpo60+1.dsc
2.2K
2013-03-16 17:22:12
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
5.34M
2013-03-16 17:22:12
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb
1.70M
2013-03-16 17:22:12