File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.10.2-1_amd64.deb 31M01-Jan-2020 21:03
coq-theories_8.10.2-1_arm64.deb 21M16-Jan-2020 05:41
coq-theories_8.10.2-1_ppc64el.deb 21M13-Jan-2020 10:55
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-5+b1_amd64.deb 29M11-Feb-2020 20:29
coq-theories_8.9.1-5+b1_arm64.deb 19M11-Feb-2020 18:30
coq-theories_8.9.1-5+b1_armhf.deb 19M11-Feb-2020 18:45
coq-theories_8.9.1-5+b1_i386.deb 28M11-Feb-2020 16:26
coq-theories_8.9.1-5+b1_mips64el.deb 19M13-Feb-2020 19:45
coq-theories_8.9.1-5+b1_ppc64el.deb 19M11-Feb-2020 16:26
coq-theories_8.9.1-5+b1_s390x.deb 19M11-Feb-2020 16:56
coq-theories_8.9.1-5_amd64.deb 29M29-Jan-2020 08:43
coq-theories_8.9.1-5_arm64.deb 19M29-Jan-2020 08:59
coq-theories_8.9.1-5_armhf.deb 19M29-Jan-2020 09:56
coq-theories_8.9.1-5_i386.deb 28M29-Jan-2020 08:33
coq-theories_8.9.1-5_mips64el.deb 19M30-Jan-2020 12:41
coq-theories_8.9.1-5_ppc64el.deb 19M29-Jan-2020 08:43
coq-theories_8.9.1-5_s390x.deb 19M29-Jan-2020 08:18
coq_8.10.2-1.debian.tar.xz 24K01-Jan-2020 21:03
coq_8.10.2-1.dsc 247501-Jan-2020 21:03
coq_8.10.2-1_amd64.deb 72M01-Jan-2020 21:03
coq_8.10.2-1_arm64.deb 79M16-Jan-2020 05:41
coq_8.10.2-1_ppc64el.deb 74M13-Jan-2020 10:55
coq_8.10.2.orig.tar.gz 5M01-Jan-2020 21:03
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-5+b1_amd64.deb 67M11-Feb-2020 20:29
coq_8.9.1-5+b1_arm64.deb 73M11-Feb-2020 18:30
coq_8.9.1-5+b1_armhf.deb 65M11-Feb-2020 18:45
coq_8.9.1-5+b1_i386.deb 63M11-Feb-2020 16:26
coq_8.9.1-5+b1_mips64el.deb 70M13-Feb-2020 19:45
coq_8.9.1-5+b1_ppc64el.deb 69M11-Feb-2020 16:26
coq_8.9.1-5+b1_s390x.deb 67M11-Feb-2020 16:56
coq_8.9.1-5.debian.tar.xz 31K29-Jan-2020 07:38
coq_8.9.1-5.dsc 249129-Jan-2020 07:38
coq_8.9.1-5_amd64.deb 67M29-Jan-2020 08:43
coq_8.9.1-5_arm64.deb 73M29-Jan-2020 08:59
coq_8.9.1-5_armhf.deb 65M29-Jan-2020 09:56
coq_8.9.1-5_i386.deb 63M29-Jan-2020 08:33
coq_8.9.1-5_mips64el.deb 70M30-Jan-2020 12:41
coq_8.9.1-5_ppc64el.deb 69M29-Jan-2020 08:43
coq_8.9.1-5_s390x.deb 67M29-Jan-2020 08:18
coq_8.9.1.orig.tar.gz 5M20-Aug-2019 03:27
coqide_8.10.2-1_amd64.deb 2M01-Jan-2020 21:03
coqide_8.10.2-1_arm64.deb 2M16-Jan-2020 05:41
coqide_8.10.2-1_ppc64el.deb 2M13-Jan-2020 10:55
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
coqide_8.9.1-5+b1_amd64.deb 2M11-Feb-2020 20:29
coqide_8.9.1-5+b1_arm64.deb 2M11-Feb-2020 18:30
coqide_8.9.1-5+b1_armhf.deb 2M11-Feb-2020 18:45
coqide_8.9.1-5+b1_i386.deb 2M11-Feb-2020 16:26
coqide_8.9.1-5+b1_mips64el.deb 99K13-Feb-2020 19:45
coqide_8.9.1-5+b1_ppc64el.deb 2M11-Feb-2020 16:26
coqide_8.9.1-5+b1_s390x.deb 2M11-Feb-2020 16:56
coqide_8.9.1-5_amd64.deb 2M29-Jan-2020 08:43
coqide_8.9.1-5_arm64.deb 2M29-Jan-2020 08:59
coqide_8.9.1-5_armhf.deb 2M29-Jan-2020 09:56
coqide_8.9.1-5_i386.deb 2M29-Jan-2020 08:33
coqide_8.9.1-5_mips64el.deb 99K30-Jan-2020 12:41
coqide_8.9.1-5_ppc64el.deb 2M29-Jan-2020 08:43
coqide_8.9.1-5_s390x.deb 2M29-Jan-2020 08:18
libcoq-ocaml-dev_8.10.2-1_amd64.deb 15M01-Jan-2020 21:03
libcoq-ocaml-dev_8.10.2-1_arm64.deb 15M16-Jan-2020 05:41
libcoq-ocaml-dev_8.10.2-1_ppc64el.deb 15M13-Jan-2020 10:55
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-5+b1_amd64.deb 14M11-Feb-2020 20:29
libcoq-ocaml-dev_8.9.1-5+b1_arm64.deb 15M11-Feb-2020 18:30
libcoq-ocaml-dev_8.9.1-5+b1_armhf.deb 15M11-Feb-2020 18:45
libcoq-ocaml-dev_8.9.1-5+b1_i386.deb 14M11-Feb-2020 16:26
libcoq-ocaml-dev_8.9.1-5+b1_mips64el.deb 8M13-Feb-2020 19:45
libcoq-ocaml-dev_8.9.1-5+b1_ppc64el.deb 15M11-Feb-2020 16:26
libcoq-ocaml-dev_8.9.1-5+b1_s390x.deb 14M11-Feb-2020 16:56
libcoq-ocaml-dev_8.9.1-5_amd64.deb 14M29-Jan-2020 08:43
libcoq-ocaml-dev_8.9.1-5_arm64.deb 15M29-Jan-2020 08:59
libcoq-ocaml-dev_8.9.1-5_armhf.deb 15M29-Jan-2020 09:56
libcoq-ocaml-dev_8.9.1-5_i386.deb 14M29-Jan-2020 08:33
libcoq-ocaml-dev_8.9.1-5_mips64el.deb 8M30-Jan-2020 12:41
libcoq-ocaml-dev_8.9.1-5_ppc64el.deb 15M29-Jan-2020 08:43
libcoq-ocaml-dev_8.9.1-5_s390x.deb 14M29-Jan-2020 08:18
libcoq-ocaml_8.10.2-1_amd64.deb 5M01-Jan-2020 21:03
libcoq-ocaml_8.10.2-1_arm64.deb 6M16-Jan-2020 05:41
libcoq-ocaml_8.10.2-1_ppc64el.deb 5M13-Jan-2020 10:55
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-5+b1_amd64.deb 5M11-Feb-2020 20:29
libcoq-ocaml_8.9.1-5+b1_arm64.deb 6M11-Feb-2020 18:30
libcoq-ocaml_8.9.1-5+b1_armhf.deb 5M11-Feb-2020 18:45
libcoq-ocaml_8.9.1-5+b1_i386.deb 5M11-Feb-2020 16:26
libcoq-ocaml_8.9.1-5+b1_mips64el.deb 4M13-Feb-2020 19:45
libcoq-ocaml_8.9.1-5+b1_ppc64el.deb 6M11-Feb-2020 16:26
libcoq-ocaml_8.9.1-5+b1_s390x.deb 6M11-Feb-2020 16:56
libcoq-ocaml_8.9.1-5_amd64.deb 5M29-Jan-2020 08:43
libcoq-ocaml_8.9.1-5_arm64.deb 6M29-Jan-2020 08:59
libcoq-ocaml_8.9.1-5_armhf.deb 5M29-Jan-2020 09:56
libcoq-ocaml_8.9.1-5_i386.deb 5M29-Jan-2020 08:33
libcoq-ocaml_8.9.1-5_mips64el.deb 4M30-Jan-2020 12:41
libcoq-ocaml_8.9.1-5_ppc64el.deb 6M29-Jan-2020 08:43
libcoq-ocaml_8.9.1-5_s390x.deb 6M29-Jan-2020 08:18