Publishing details

Removed from disk on 2018-06-22.
Removal requested on 2018-06-22.
Published on 2017-01-23
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

coq (8.6-4) unstable; urgency=medium

  * coq_makefile needs ocamlfind in order to work 

 -- Enrico Tassi <email address hidden>  Thu, 29 Dec 2016 23:45:47 +0100

Available diffs

diff from 8.5-2build1 (in Ubuntu) to 8.6-4 (1.6 MiB)
diff from 8.6-3 to 8.6-4 (437 bytes)

Builds

Package files

coq-dbgsym_8.6-4_amd64.ddeb (1.1 MiB)
coq-dbgsym_8.6-4_arm64.ddeb (1.1 MiB)
coq-dbgsym_8.6-4_armhf.ddeb (1.1 MiB)
coq-dbgsym_8.6-4_i386.ddeb (1.0 MiB)
coq-dbgsym_8.6-4_powerpc.ddeb (691.7 KiB)
coq-theories_8.6-4_amd64.deb (29.7 MiB)
coq-theories_8.6-4_arm64.deb (21.5 MiB)
coq-theories_8.6-4_armhf.deb (21.5 MiB)
coq-theories_8.6-4_i386.deb (28.7 MiB)
coq-theories_8.6-4_powerpc.deb (21.5 MiB)
coq-theories_8.6-4_ppc64el.deb (21.5 MiB)
coq-theories_8.6-4_s390x.deb (21.5 MiB)
coq_8.6-4.debian.tar.xz (21.5 KiB)
coq_8.6-4.dsc (2.3 KiB)
coq_8.6-4_amd64.deb (13.2 MiB)
coq_8.6-4_arm64.deb (12.5 MiB)
coq_8.6-4_armhf.deb (12.4 MiB)
coq_8.6-4_i386.deb (12.3 MiB)
coq_8.6-4_powerpc.deb (11.9 MiB)
coq_8.6-4_ppc64el.deb (18.0 MiB)
coq_8.6-4_s390x.deb (18.1 MiB)
coq_8.6.orig.tar.gz (4.8 MiB)
coqide-dbgsym_8.6-4_amd64.ddeb (340.0 KiB)
coqide-dbgsym_8.6-4_arm64.ddeb (335.3 KiB)
coqide-dbgsym_8.6-4_armhf.ddeb (347.5 KiB)
coqide-dbgsym_8.6-4_i386.ddeb (321.5 KiB)
coqide-dbgsym_8.6-4_powerpc.ddeb (270.7 KiB)
coqide_8.6-4_amd64.deb (1.3 MiB)
coqide_8.6-4_arm64.deb (1.2 MiB)
coqide_8.6-4_armhf.deb (1.2 MiB)
coqide_8.6-4_i386.deb (1.1 MiB)
coqide_8.6-4_powerpc.deb (1.0 MiB)
coqide_8.6-4_ppc64el.deb (1.7 MiB)
coqide_8.6-4_s390x.deb (1.7 MiB)
libcoq-ocaml-dbgsym_8.6-4_amd64.ddeb (249.2 KiB)
libcoq-ocaml-dbgsym_8.6-4_arm64.ddeb (238.3 KiB)
libcoq-ocaml-dbgsym_8.6-4_armhf.ddeb (262.4 KiB)
libcoq-ocaml-dbgsym_8.6-4_i386.ddeb (240.1 KiB)
libcoq-ocaml-dbgsym_8.6-4_powerpc.ddeb (15.7 KiB)
libcoq-ocaml-dbgsym_8.6-4_ppc64el.ddeb (17.9 KiB)
libcoq-ocaml-dbgsym_8.6-4_s390x.ddeb (18.2 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.ddeb (70.1 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.ddeb (69.9 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4_armhf.ddeb (73.8 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4_i386.ddeb (67.4 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4_powerpc.ddeb (59.1 KiB)
libcoq-ocaml-dev_8.6-4_amd64.deb (12.5 MiB)
libcoq-ocaml-dev_8.6-4_arm64.deb (12.7 MiB)
libcoq-ocaml-dev_8.6-4_armhf.deb (13.0 MiB)
libcoq-ocaml-dev_8.6-4_i386.deb (12.6 MiB)
libcoq-ocaml-dev_8.6-4_powerpc.deb (12.2 MiB)
libcoq-ocaml-dev_8.6-4_ppc64el.deb (9.5 MiB)
libcoq-ocaml-dev_8.6-4_s390x.deb (9.5 MiB)
libcoq-ocaml_8.6-4_amd64.deb (3.3 MiB)
libcoq-ocaml_8.6-4_arm64.deb (3.3 MiB)
libcoq-ocaml_8.6-4_armhf.deb (3.2 MiB)
libcoq-ocaml_8.6-4_i386.deb (3.2 MiB)
libcoq-ocaml_8.6-4_powerpc.deb (3.1 MiB)
libcoq-ocaml_8.6-4_ppc64el.deb (2.2 MiB)
libcoq-ocaml_8.6-4_s390x.deb (2.2 MiB)