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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-06 08:32 52M
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-27 17:26 31M
[ ]coq-theories_8.5-2_amd64.deb2016-01-28 17:58 31M
[ ]coq-theories_8.5-2_arm64.deb2016-01-28 21:05 23M
[ ]coq-theories_8.5-2_armel.deb2016-01-28 20:30 23M
[ ]coq-theories_8.5-2_armhf.deb2016-01-28 21:15 23M
[ ]coq-theories_8.5-2_hurd-i386.deb2016-02-01 01:16 23M
[ ]coq-theories_8.5-2_i386.deb2016-01-28 19:34 30M
[ ]coq-theories_8.5-2_kfreebsd-amd64.deb2016-01-29 21:28 23M
[ ]coq-theories_8.5-2_kfreebsd-i386.deb2016-01-28 19:19 23M
[ ]coq-theories_8.5-2_mips.deb2016-01-29 14:15 23M
[ ]coq-theories_8.5-2_mips64el.deb2016-01-30 14:32 23M
[ ]coq-theories_8.5-2_mipsel.deb2016-01-29 08:33 23M
[ ]coq-theories_8.5-2_powerpc.deb2016-01-28 19:14 23M
[ ]coq-theories_8.5-2_ppc64el.deb2016-01-28 21:30 23M
[ ]coq-theories_8.5-2_s390x.deb2016-01-28 21:00 23M
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-06 08:32 16K
[ ]coq_8.3.pl4+dfsg-2.dsc2012-06-06 08:32 2.3K
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 5.4M
[ ]coq_8.3.pl4+dfsg-2_armel.deb2012-06-06 12:47 5.8M
[ ]coq_8.3.pl4+dfsg-2_armhf.deb2012-06-06 17:32 1.7M
[ ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 4.8M
[ ]coq_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 1.7M
[ ]coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 5.4M
[ ]coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 4.8M
[ ]coq_8.3.pl4+dfsg-2_mips.deb2012-06-08 17:19 1.7M
[ ]coq_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 14:32 1.7M
[ ]coq_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 5.3M
[ ]coq_8.3.pl4+dfsg-2_s390.deb2012-06-06 12:17 1.7M
[ ]coq_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 1.7M
[ ]coq_8.3.pl4+dfsg-2_sparc.deb2012-06-06 12:32 5.2M
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-03-27 09:02 3.0M
[ ]coq_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 1.1M
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-27 17:26 15K
[ ]coq_8.4pl4dfsg-1.dsc2014-07-27 17:26 2.3K
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 3.9M
[ ]coq_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 1.1M
[ ]coq_8.4pl4dfsg-1_armel.deb2014-07-27 20:28 3.7M
[ ]coq_8.4pl4dfsg-1_armhf.deb2014-07-27 23:28 3.7M
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 3.6M
[ ]coq_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 4.0M
[ ]coq_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 3.7M
[ ]coq_8.4pl4dfsg-1_mips.deb2014-07-31 16:58 1.1M
[ ]coq_8.4pl4dfsg-1_mipsel.deb2014-07-28 04:14 1.1M
[ ]coq_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 3.4M
[ ]coq_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 1.1M
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 17:26 3.4M
[ ]coq_8.5-2.debian.tar.xz2016-01-28 17:58 16K
[ ]coq_8.5-2.dsc2016-01-28 17:58 2.3K
[ ]coq_8.5-2_amd64.deb2016-01-28 17:58 12M
[ ]coq_8.5-2_arm64.deb2016-01-28 21:05 12M
[ ]coq_8.5-2_armel.deb2016-01-28 20:30 12M
[ ]coq_8.5-2_armhf.deb2016-01-28 21:15 12M
[ ]coq_8.5-2_hurd-i386.deb2016-02-01 01:16 12M
[ ]coq_8.5-2_i386.deb2016-01-28 19:34 12M
[ ]coq_8.5-2_kfreebsd-amd64.deb2016-01-29 21:28 12M
[ ]coq_8.5-2_kfreebsd-i386.deb2016-01-28 19:19 12M
[ ]coq_8.5-2_mips.deb2016-01-29 14:15 17M
[ ]coq_8.5-2_mips64el.deb2016-01-30 14:32 17M
[ ]coq_8.5-2_mipsel.deb2016-01-29 08:33 17M
[ ]coq_8.5-2_powerpc.deb2016-01-28 19:14 12M
[ ]coq_8.5-2_ppc64el.deb2016-01-28 21:30 17M
[ ]coq_8.5-2_s390x.deb2016-01-28 21:00 17M
[ ]coq_8.5.orig.tar.gz2016-01-26 17:43 4.6M
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 5.4M
[ ]coqide_8.3.pl4+dfsg-2_armel.deb2012-06-06 12:47 5.9M
[ ]coqide_8.3.pl4+dfsg-2_armhf.deb2012-06-06 17:32 2.4M
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 5.0M
[ ]coqide_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 2.4M
[ ]coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 5.4M
[ ]coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 5.0M
[ ]coqide_8.3.pl4+dfsg-2_mips.deb2012-06-08 17:19 2.4M
[ ]coqide_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 14:32 2.4M
[ ]coqide_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 5.4M
[ ]coqide_8.3.pl4+dfsg-2_s390.deb2012-06-06 12:17 2.4M
[ ]coqide_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 2.4M
[ ]coqide_8.3.pl4+dfsg-2_sparc.deb2012-06-06 12:32 5.2M
[ ]coqide_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 250K
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 779K
[ ]coqide_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 249K
[ ]coqide_8.4pl4dfsg-1_armel.deb2014-07-27 20:28 780K
[ ]coqide_8.4pl4dfsg-1_armhf.deb2014-07-27 23:28 804K
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 714K
[ ]coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 777K
[ ]coqide_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 712K
[ ]coqide_8.4pl4dfsg-1_mips.deb2014-07-31 16:58 249K
[ ]coqide_8.4pl4dfsg-1_mipsel.deb2014-07-28 04:14 249K
[ ]coqide_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 679K
[ ]coqide_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 249K
[ ]coqide_8.5-2_amd64.deb2016-01-28 17:58 1.1M
[ ]coqide_8.5-2_arm64.deb2016-01-28 21:05 1.1M
[ ]coqide_8.5-2_armel.deb2016-01-28 20:30 1.1M
[ ]coqide_8.5-2_armhf.deb2016-01-28 21:15 1.1M
[ ]coqide_8.5-2_hurd-i386.deb2016-02-01 01:16 1.0M
[ ]coqide_8.5-2_i386.deb2016-01-28 19:34 1.0M
[ ]coqide_8.5-2_kfreebsd-amd64.deb2016-01-29 21:28 1.1M
[ ]coqide_8.5-2_kfreebsd-i386.deb2016-01-28 19:19 1.0M
[ ]coqide_8.5-2_mips.deb2016-01-29 14:15 1.7M
[ ]coqide_8.5-2_mips64el.deb2016-01-30 14:32 1.7M
[ ]coqide_8.5-2_mipsel.deb2016-01-29 08:33 1.7M
[ ]coqide_8.5-2_powerpc.deb2016-01-28 19:14 1.0M
[ ]coqide_8.5-2_ppc64el.deb2016-01-28 21:30 1.7M
[ ]coqide_8.5-2_s390x.deb2016-01-28 21:00 1.7M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 5.6M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb2012-06-06 12:47 7.2M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb2012-06-06 17:32 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 5.6M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb2012-06-08 17:19 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 14:32 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 6.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb2012-06-06 12:17 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb2012-06-06 12:32 6.1M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 3.6M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb2014-07-27 20:28 3.9M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb2014-07-27 23:28 3.8M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 3.6M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 3.5M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 3.5M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb2014-07-31 16:58 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb2014-07-28 04:14 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 3.5M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 1.2M
[ ]libcoq-ocaml-dev_8.5-2_amd64.deb2016-01-28 17:58 13M
[ ]libcoq-ocaml-dev_8.5-2_arm64.deb2016-01-28 21:05 13M
[ ]libcoq-ocaml-dev_8.5-2_armel.deb2016-01-28 20:30 13M
[ ]libcoq-ocaml-dev_8.5-2_armhf.deb2016-01-28 21:15 13M
[ ]libcoq-ocaml-dev_8.5-2_hurd-i386.deb2016-02-01 01:16 13M
[ ]libcoq-ocaml-dev_8.5-2_i386.deb2016-01-28 19:34 13M
[ ]libcoq-ocaml-dev_8.5-2_kfreebsd-amd64.deb2016-01-29 21:28 13M
[ ]libcoq-ocaml-dev_8.5-2_kfreebsd-i386.deb2016-01-28 19:19 13M
[ ]libcoq-ocaml-dev_8.5-2_mips.deb2016-01-29 14:15 9.6M
[ ]libcoq-ocaml-dev_8.5-2_mips64el.deb2016-01-30 14:32 9.6M
[ ]libcoq-ocaml-dev_8.5-2_mipsel.deb2016-01-29 08:33 9.6M
[ ]libcoq-ocaml-dev_8.5-2_powerpc.deb2016-01-28 19:14 12M
[ ]libcoq-ocaml-dev_8.5-2_ppc64el.deb2016-01-28 21:30 9.6M
[ ]libcoq-ocaml-dev_8.5-2_s390x.deb2016-01-28 21:00 9.6M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb2012-06-06 12:47 521K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb2012-06-06 17:32 524K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 1.8M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 524K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 1.8M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb2012-06-08 17:19 521K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 14:32 521K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb2012-06-06 12:17 520K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 524K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb2012-06-06 12:32 2.0M
[ ]libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 374K
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 1.6M
[ ]libcoq-ocaml_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 371K
[ ]libcoq-ocaml_8.4pl4dfsg-1_armel.deb2014-07-27 20:28 1.5M
[ ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb2014-07-27 23:28 1.5M
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 1.4M
[ ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 1.6M
[ ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 1.4M
[ ]libcoq-ocaml_8.4pl4dfsg-1_mips.deb2014-07-31 16:58 373K
[ ]libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb2014-07-28 04:14 373K
[ ]libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 1.4M
[ ]libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 372K
[ ]libcoq-ocaml_8.5-2_amd64.deb2016-01-28 17:58 3.3M
[ ]libcoq-ocaml_8.5-2_arm64.deb2016-01-28 21:05 3.2M
[ ]libcoq-ocaml_8.5-2_armel.deb2016-01-28 20:30 3.2M
[ ]libcoq-ocaml_8.5-2_armhf.deb2016-01-28 21:15 3.2M
[ ]libcoq-ocaml_8.5-2_hurd-i386.deb2016-02-01 01:16 3.2M
[ ]libcoq-ocaml_8.5-2_i386.deb2016-01-28 19:34 3.2M
[ ]libcoq-ocaml_8.5-2_kfreebsd-amd64.deb2016-01-29 21:28 3.3M
[ ]libcoq-ocaml_8.5-2_kfreebsd-i386.deb2016-01-28 19:19 3.2M
[ ]libcoq-ocaml_8.5-2_mips.deb2016-01-29 14:15 2.2M
[ ]libcoq-ocaml_8.5-2_mips64el.deb2016-01-30 14:32 2.2M
[ ]libcoq-ocaml_8.5-2_mipsel.deb2016-01-29 08:33 2.2M
[ ]libcoq-ocaml_8.5-2_powerpc.deb2016-01-28 19:14 3.1M
[ ]libcoq-ocaml_8.5-2_ppc64el.deb2016-01-28 21:30 2.2M
[ ]libcoq-ocaml_8.5-2_s390x.deb2016-01-28 21:00 2.2M
Apache/2.4.7 (Ubuntu) Server at debian.csg.uzh.ch Port 80