File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.4pl4dfsg-1_all.deb 31M27-Jul-2014 15:26
coq-theories_8.6-4_amd64.deb 30M30-Dec-2016 00:56
coq-theories_8.6-4_arm64.deb 22M30-Dec-2016 01:57
coq-theories_8.6-4_armhf.deb 22M30-Dec-2016 03:12
coq-theories_8.6-4_i386.deb 29M30-Dec-2016 01:57
coq-theories_8.6-4_mips64el.deb 22M30-Dec-2016 14:29
coq-theories_8.6-4_ppc64el.deb 22M30-Dec-2016 03:57
coq-theories_8.6-4_s390x.deb 22M30-Dec-2016 05:27
coq-theories_8.9.0-1_amd64.deb 28M06-Feb-2019 18:49
coq-theories_8.9.0-1_arm64.deb 19M06-Feb-2019 20:26
coq-theories_8.9.0-1_armhf.deb 19M07-Feb-2019 21:15
coq-theories_8.9.0-1_i386.deb 27M06-Feb-2019 20:21
coq-theories_8.9.0-1_mips64el.deb 19M09-Feb-2019 08:29
coq-theories_8.9.0-1_ppc64el.deb 19M06-Feb-2019 20:00
coq-theories_8.9.0-1_s390x.deb 19M06-Feb-2019 20:00
coq-theories_8.9.1-1_amd64.deb 28M20-Aug-2019 04:28
coq-theories_8.9.1-1_arm64.deb 19M20-Aug-2019 04:43
coq-theories_8.9.1-1_armhf.deb 19M20-Aug-2019 04:28
coq-theories_8.9.1-1_i386.deb 27M20-Aug-2019 04:07
coq-theories_8.9.1-1_mips64el.deb 19M21-Aug-2019 18:58
coq-theories_8.9.1-1_ppc64el.deb 19M20-Aug-2019 04:13
coq-theories_8.9.1-1_s390x.deb 19M20-Aug-2019 04:23
coq_8.4pl4dfsg-1.debian.tar.xz 15K27-Jul-2014 15:26
coq_8.4pl4dfsg-1.dsc 237427-Jul-2014 15:26
coq_8.4pl4dfsg-1_amd64.deb 4M27-Jul-2014 15:26
coq_8.4pl4dfsg-1_armhf.deb 4M27-Jul-2014 21:28
coq_8.4pl4dfsg-1_i386.deb 4M27-Jul-2014 16:57
coq_8.4pl4dfsg.orig.tar.gz 3M27-Jul-2014 15:26
coq_8.6-4.debian.tar.xz 21K30-Dec-2016 00:56
coq_8.6-4.dsc 239630-Dec-2016 00:56
coq_8.6-4_amd64.deb 13M30-Dec-2016 00:56
coq_8.6-4_arm64.deb 13M30-Dec-2016 01:57
coq_8.6-4_armhf.deb 13M30-Dec-2016 03:12
coq_8.6-4_i386.deb 13M30-Dec-2016 01:57
coq_8.6-4_mips64el.deb 18M30-Dec-2016 14:29
coq_8.6-4_ppc64el.deb 18M30-Dec-2016 03:57
coq_8.6-4_s390x.deb 18M30-Dec-2016 05:27
coq_8.6.orig.tar.gz 5M28-Dec-2016 13:44
coq_8.9.0-1.debian.tar.xz 27K06-Feb-2019 18:49
coq_8.9.0-1.dsc 241706-Feb-2019 18:49
coq_8.9.0-1_amd64.deb 56M06-Feb-2019 18:49
coq_8.9.0-1_arm64.deb 60M06-Feb-2019 20:26
coq_8.9.0-1_armhf.deb 55M07-Feb-2019 21:15
coq_8.9.0-1_i386.deb 54M06-Feb-2019 20:21
coq_8.9.0-1_mips64el.deb 48M09-Feb-2019 08:29
coq_8.9.0-1_ppc64el.deb 58M06-Feb-2019 20:00
coq_8.9.0-1_s390x.deb 56M06-Feb-2019 20:00
coq_8.9.0.orig.tar.gz 5M06-Feb-2019 18:49
coq_8.9.1-1.debian.tar.xz 29K20-Aug-2019 03:27
coq_8.9.1-1.dsc 218620-Aug-2019 03:27
coq_8.9.1-1_amd64.deb 56M20-Aug-2019 04:28
coq_8.9.1-1_arm64.deb 61M20-Aug-2019 04:43
coq_8.9.1-1_armhf.deb 55M20-Aug-2019 04:28
coq_8.9.1-1_i386.deb 54M20-Aug-2019 04:07
coq_8.9.1-1_mips64el.deb 48M21-Aug-2019 18:58
coq_8.9.1-1_ppc64el.deb 58M20-Aug-2019 04:13
coq_8.9.1-1_s390x.deb 57M20-Aug-2019 04:23
coq_8.9.1.orig.tar.gz 5M20-Aug-2019 03:27
coqide_8.4pl4dfsg-1_amd64.deb 779K27-Jul-2014 15:26
coqide_8.4pl4dfsg-1_armhf.deb 804K27-Jul-2014 21:28
coqide_8.4pl4dfsg-1_i386.deb 714K27-Jul-2014 16:57
coqide_8.6-4_amd64.deb 1M30-Dec-2016 00:56
coqide_8.6-4_arm64.deb 1M30-Dec-2016 01:57
coqide_8.6-4_armhf.deb 1M30-Dec-2016 03:12
coqide_8.6-4_i386.deb 1M30-Dec-2016 01:57
coqide_8.6-4_mips64el.deb 2M30-Dec-2016 14:29
coqide_8.6-4_ppc64el.deb 2M30-Dec-2016 03:57
coqide_8.6-4_s390x.deb 2M30-Dec-2016 05:27
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 4M27-Jul-2014 15:26
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 4M27-Jul-2014 21:28
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 4M27-Jul-2014 16:57
libcoq-ocaml-dev_8.6-4_amd64.deb 13M30-Dec-2016 00:56
libcoq-ocaml-dev_8.6-4_arm64.deb 13M30-Dec-2016 01:57
libcoq-ocaml-dev_8.6-4_armhf.deb 13M30-Dec-2016 03:12
libcoq-ocaml-dev_8.6-4_i386.deb 13M30-Dec-2016 01:57
libcoq-ocaml-dev_8.6-4_mips64el.deb 10M30-Dec-2016 14:29
libcoq-ocaml-dev_8.6-4_ppc64el.deb 10M30-Dec-2016 03:57
libcoq-ocaml-dev_8.6-4_s390x.deb 10M30-Dec-2016 05:27
libcoq-ocaml-dev_8.9.0-1_amd64.deb 13M06-Feb-2019 18:49
libcoq-ocaml-dev_8.9.0-1_arm64.deb 13M06-Feb-2019 20:26
libcoq-ocaml-dev_8.9.0-1_armhf.deb 14M07-Feb-2019 21:15
libcoq-ocaml-dev_8.9.0-1_i386.deb 13M06-Feb-2019 20:21
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 8M09-Feb-2019 08:29
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 13M06-Feb-2019 20:00
libcoq-ocaml-dev_8.9.0-1_s390x.deb 13M06-Feb-2019 20:00
libcoq-ocaml-dev_8.9.1-1_amd64.deb 13M20-Aug-2019 04:28
libcoq-ocaml-dev_8.9.1-1_arm64.deb 13M20-Aug-2019 04:43
libcoq-ocaml-dev_8.9.1-1_armhf.deb 14M20-Aug-2019 04:28
libcoq-ocaml-dev_8.9.1-1_i386.deb 13M20-Aug-2019 04:07
libcoq-ocaml-dev_8.9.1-1_mips64el.deb 8M21-Aug-2019 18:58
libcoq-ocaml-dev_8.9.1-1_ppc64el.deb 13M20-Aug-2019 04:13
libcoq-ocaml-dev_8.9.1-1_s390x.deb 13M20-Aug-2019 04:23
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 2M27-Jul-2014 15:26
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 2M27-Jul-2014 21:28
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 1M27-Jul-2014 16:57
libcoq-ocaml_8.6-4_amd64.deb 3M30-Dec-2016 00:56
libcoq-ocaml_8.6-4_arm64.deb 3M30-Dec-2016 01:57
libcoq-ocaml_8.6-4_armhf.deb 3M30-Dec-2016 03:12
libcoq-ocaml_8.6-4_i386.deb 3M30-Dec-2016 01:57
libcoq-ocaml_8.6-4_mips64el.deb 2M30-Dec-2016 14:29
libcoq-ocaml_8.6-4_ppc64el.deb 2M30-Dec-2016 03:57
libcoq-ocaml_8.6-4_s390x.deb 2M30-Dec-2016 05:27
libcoq-ocaml_8.9.0-1_amd64.deb 5M06-Feb-2019 18:49
libcoq-ocaml_8.9.0-1_arm64.deb 6M06-Feb-2019 20:26
libcoq-ocaml_8.9.0-1_armhf.deb 5M07-Feb-2019 21:15
libcoq-ocaml_8.9.0-1_i386.deb 5M06-Feb-2019 20:21
libcoq-ocaml_8.9.0-1_mips64el.deb 3M09-Feb-2019 08:29
libcoq-ocaml_8.9.0-1_ppc64el.deb 5M06-Feb-2019 20:00
libcoq-ocaml_8.9.0-1_s390x.deb 5M06-Feb-2019 20:00
libcoq-ocaml_8.9.1-1_amd64.deb 5M20-Aug-2019 04:28
libcoq-ocaml_8.9.1-1_arm64.deb 6M20-Aug-2019 04:43
libcoq-ocaml_8.9.1-1_armhf.deb 5M20-Aug-2019 04:28
libcoq-ocaml_8.9.1-1_i386.deb 5M20-Aug-2019 04:07
libcoq-ocaml_8.9.1-1_mips64el.deb 3M21-Aug-2019 18:58
libcoq-ocaml_8.9.1-1_ppc64el.deb 5M20-Aug-2019 04:13
libcoq-ocaml_8.9.1-1_s390x.deb 5M20-Aug-2019 04:23