Index of /Debian/pool/main/c/coq/
../
coq-theories_8.11.0-1_amd64.deb 06-Mar-2020 06:59 32M
coq-theories_8.11.0-1_arm64.deb 06-Mar-2020 06:58 20M
coq-theories_8.11.0-1_ppc64el.deb 06-Mar-2020 06:59 20M
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 23:26 31M
coq-theories_8.6-4_amd64.deb 30-Dec-2016 08:56 30M
coq-theories_8.6-4_arm64.deb 30-Dec-2016 09:57 22M
coq-theories_8.6-4_armhf.deb 30-Dec-2016 11:12 22M
coq-theories_8.6-4_i386.deb 30-Dec-2016 09:57 29M
coq-theories_8.6-4_mips64el.deb 30-Dec-2016 22:29 22M
coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 11:57 22M
coq-theories_8.6-4_s390x.deb 30-Dec-2016 13:27 22M
coq-theories_8.9.0-1_amd64.deb 07-Feb-2019 02:49 28M
coq-theories_8.9.0-1_arm64.deb 07-Feb-2019 04:26 19M
coq-theories_8.9.0-1_armhf.deb 08-Feb-2019 05:15 19M
coq-theories_8.9.0-1_i386.deb 07-Feb-2019 04:21 27M
coq-theories_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 19M
coq-theories_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 19M
coq-theories_8.9.0-1_s390x.deb 07-Feb-2019 04:00 19M
coq-theories_8.9.1-5+b1_amd64.deb 12-Feb-2020 04:29 29M
coq-theories_8.9.1-5+b1_arm64.deb 12-Feb-2020 02:30 19M
coq-theories_8.9.1-5+b1_armhf.deb 12-Feb-2020 02:45 19M
coq-theories_8.9.1-5+b1_i386.deb 12-Feb-2020 00:26 28M
coq-theories_8.9.1-5+b1_mips64el.deb 14-Feb-2020 03:45 19M
coq-theories_8.9.1-5+b1_ppc64el.deb 12-Feb-2020 00:26 19M
coq-theories_8.9.1-5+b1_s390x.deb 12-Feb-2020 00:56 19M
coq_8.11.0-1.debian.tar.xz 06-Mar-2020 05:39 31K
coq_8.11.0-1.dsc 06-Mar-2020 05:39 2496
coq_8.11.0-1_amd64.deb 06-Mar-2020 06:59 73M
coq_8.11.0-1_arm64.deb 06-Mar-2020 06:58 80M
coq_8.11.0-1_ppc64el.deb 06-Mar-2020 06:59 75M
coq_8.11.0.orig.tar.gz 06-Mar-2020 05:39 6M
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 23:26 15K
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 23:26 2374
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 4M
coq_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 4M
coq_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 4M
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 23:26 3M
coq_8.6-4.debian.tar.xz 30-Dec-2016 08:56 21K
coq_8.6-4.dsc 30-Dec-2016 08:56 2396
coq_8.6-4_amd64.deb 30-Dec-2016 08:56 13M
coq_8.6-4_arm64.deb 30-Dec-2016 09:57 13M
coq_8.6-4_armhf.deb 30-Dec-2016 11:12 13M
coq_8.6-4_i386.deb 30-Dec-2016 09:57 13M
coq_8.6-4_mips64el.deb 30-Dec-2016 22:29 18M
coq_8.6-4_ppc64el.deb 30-Dec-2016 11:57 18M
coq_8.6-4_s390x.deb 30-Dec-2016 13:27 18M
coq_8.6.orig.tar.gz 28-Dec-2016 21:44 5M
coq_8.9.0-1.debian.tar.xz 07-Feb-2019 02:49 27K
coq_8.9.0-1.dsc 07-Feb-2019 02:49 2417
coq_8.9.0-1_amd64.deb 07-Feb-2019 02:49 56M
coq_8.9.0-1_arm64.deb 07-Feb-2019 04:26 60M
coq_8.9.0-1_armhf.deb 08-Feb-2019 05:15 55M
coq_8.9.0-1_i386.deb 07-Feb-2019 04:21 54M
coq_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 48M
coq_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 58M
coq_8.9.0-1_s390x.deb 07-Feb-2019 04:00 56M
coq_8.9.0.orig.tar.gz 07-Feb-2019 02:49 5M
coq_8.9.1-5+b1_amd64.deb 12-Feb-2020 04:29 67M
coq_8.9.1-5+b1_arm64.deb 12-Feb-2020 02:30 73M
coq_8.9.1-5+b1_armhf.deb 12-Feb-2020 02:45 65M
coq_8.9.1-5+b1_i386.deb 12-Feb-2020 00:26 63M
coq_8.9.1-5+b1_mips64el.deb 14-Feb-2020 03:45 70M
coq_8.9.1-5+b1_ppc64el.deb 12-Feb-2020 00:26 69M
coq_8.9.1-5+b1_s390x.deb 12-Feb-2020 00:56 67M
coq_8.9.1-5.debian.tar.xz 29-Jan-2020 15:38 31K
coq_8.9.1-5.dsc 29-Jan-2020 15:38 2491
coq_8.9.1.orig.tar.gz 20-Aug-2019 11:27 5M
coqide_8.11.0-1_amd64.deb 06-Mar-2020 06:59 2M
coqide_8.11.0-1_arm64.deb 06-Mar-2020 06:58 2M
coqide_8.11.0-1_ppc64el.deb 06-Mar-2020 06:59 2M
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 779K
coqide_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 804K
coqide_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 714K
coqide_8.6-4_amd64.deb 30-Dec-2016 08:56 1M
coqide_8.6-4_arm64.deb 30-Dec-2016 09:57 1M
coqide_8.6-4_armhf.deb 30-Dec-2016 11:12 1M
coqide_8.6-4_i386.deb 30-Dec-2016 09:57 1M
coqide_8.6-4_mips64el.deb 30-Dec-2016 22:29 2M
coqide_8.6-4_ppc64el.deb 30-Dec-2016 11:57 2M
coqide_8.6-4_s390x.deb 30-Dec-2016 13:27 2M
coqide_8.9.1-5+b1_amd64.deb 12-Feb-2020 04:29 2M
coqide_8.9.1-5+b1_arm64.deb 12-Feb-2020 02:30 2M
coqide_8.9.1-5+b1_armhf.deb 12-Feb-2020 02:45 2M
coqide_8.9.1-5+b1_i386.deb 12-Feb-2020 00:26 2M
coqide_8.9.1-5+b1_mips64el.deb 14-Feb-2020 03:45 99K
coqide_8.9.1-5+b1_ppc64el.deb 12-Feb-2020 00:26 2M
coqide_8.9.1-5+b1_s390x.deb 12-Feb-2020 00:56 2M
libcoq-ocaml-dev_8.11.0-1_amd64.deb 06-Mar-2020 06:59 15M
libcoq-ocaml-dev_8.11.0-1_arm64.deb 06-Mar-2020 06:58 16M
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb 06-Mar-2020 06:59 16M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 4M
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 4M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 4M
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 08:56 13M
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 09:57 13M
libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 11:12 13M
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 09:57 13M
libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 22:29 10M
libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 11:57 10M
libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 13:27 10M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 07-Feb-2019 02:49 13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb 07-Feb-2019 04:26 13M
libcoq-ocaml-dev_8.9.0-1_armhf.deb 08-Feb-2019 05:15 14M
libcoq-ocaml-dev_8.9.0-1_i386.deb 07-Feb-2019 04:21 13M
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 8M
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 13M
libcoq-ocaml-dev_8.9.0-1_s390x.deb 07-Feb-2019 04:00 13M
libcoq-ocaml-dev_8.9.1-5+b1_amd64.deb 12-Feb-2020 04:29 14M
libcoq-ocaml-dev_8.9.1-5+b1_arm64.deb 12-Feb-2020 02:30 15M
libcoq-ocaml-dev_8.9.1-5+b1_armhf.deb 12-Feb-2020 02:45 15M
libcoq-ocaml-dev_8.9.1-5+b1_i386.deb 12-Feb-2020 00:26 14M
libcoq-ocaml-dev_8.9.1-5+b1_mips64el.deb 14-Feb-2020 03:45 8M
libcoq-ocaml-dev_8.9.1-5+b1_ppc64el.deb 12-Feb-2020 00:26 15M
libcoq-ocaml-dev_8.9.1-5+b1_s390x.deb 12-Feb-2020 00:56 14M
libcoq-ocaml_8.11.0-1_amd64.deb 06-Mar-2020 06:59 6M
libcoq-ocaml_8.11.0-1_arm64.deb 06-Mar-2020 06:58 6M
libcoq-ocaml_8.11.0-1_ppc64el.deb 06-Mar-2020 06:59 6M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 2M
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 2M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 1M
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 08:56 3M
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 09:57 3M
libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 11:12 3M
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 09:57 3M
libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 22:29 2M
libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 11:57 2M
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 13:27 2M
libcoq-ocaml_8.9.0-1_amd64.deb 07-Feb-2019 02:49 5M
libcoq-ocaml_8.9.0-1_arm64.deb 07-Feb-2019 04:26 6M
libcoq-ocaml_8.9.0-1_armhf.deb 08-Feb-2019 05:15 5M
libcoq-ocaml_8.9.0-1_i386.deb 07-Feb-2019 04:21 5M
libcoq-ocaml_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 3M
libcoq-ocaml_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 5M
libcoq-ocaml_8.9.0-1_s390x.deb 07-Feb-2019 04:00 5M
libcoq-ocaml_8.9.1-5+b1_amd64.deb 12-Feb-2020 04:29 5M
libcoq-ocaml_8.9.1-5+b1_arm64.deb 12-Feb-2020 02:30 6M
libcoq-ocaml_8.9.1-5+b1_armhf.deb 12-Feb-2020 02:45 5M
libcoq-ocaml_8.9.1-5+b1_i386.deb 12-Feb-2020 00:26 5M
libcoq-ocaml_8.9.1-5+b1_mips64el.deb 14-Feb-2020 03:45 4M
libcoq-ocaml_8.9.1-5+b1_ppc64el.deb 12-Feb-2020 00:26 6M
libcoq-ocaml_8.9.1-5+b1_s390x.deb 12-Feb-2020 00:56 6M