Publishing details

• Created on 2017-11-05 by Ubuntu Archive Auto-Sync
• Published on 2017-11-05

Changelog

coq (8.6-5build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:21:16 +0200

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Built packages

• coq proof assistant for higher-order logic (toplevel and compiler)

• coq-dbgsym debug symbols for coq

• coq-theories proof assistant for higher-order logic (theories)

• coq-theories-dbgsym debug symbols for coq-theories

• coqide proof assistant for higher-order logic (gtk interface)

• coqide-dbgsym debug symbols for coqide

• libcoq-ocaml runtime libraries for Coq

• libcoq-ocaml-dbgsym debug symbols for libcoq-ocaml

• libcoq-ocaml-dev development libraries and tools for Coq

• libcoq-ocaml-dev-dbgsym debug symbols for libcoq-ocaml-dev

Package files

• coq-dbgsym_8.6-5build1_amd64.ddeb (1.8 MiB)
• coq-dbgsym_8.6-5build1_arm64.ddeb (1.8 MiB)
• coq-dbgsym_8.6-5build1_armhf.ddeb (1.6 MiB)
• coq-dbgsym_8.6-5build1_i386.ddeb (1.8 MiB)
• coq-dbgsym_8.6-5build1_ppc64el.ddeb (1.5 MiB)
• coq-dbgsym_8.6-5build1_s390x.ddeb (1.5 MiB)
• coq-theories-dbgsym_8.6-5build1_amd64.ddeb (829.7 KiB)
• coq-theories-dbgsym_8.6-5build1_i386.ddeb (802.3 KiB)
• coq-theories_8.6-5build1_amd64.deb (31.6 MiB)
• coq-theories_8.6-5build1_arm64.deb (21.7 MiB)
• coq-theories_8.6-5build1_armhf.deb (21.8 MiB)
• coq-theories_8.6-5build1_i386.deb (30.7 MiB)
• coq-theories_8.6-5build1_ppc64el.deb (21.7 MiB)
• coq-theories_8.6-5build1_s390x.deb (21.7 MiB)
• coq_8.6-5build1.debian.tar.xz (21.4 KiB)
• coq_8.6-5build1.dsc (2.3 KiB)
• coq_8.6-5build1_amd64.deb (16.9 MiB)
• coq_8.6-5build1_arm64.deb (18.0 MiB)
• coq_8.6-5build1_armhf.deb (16.2 MiB)
• coq_8.6-5build1_i386.deb (16.2 MiB)
• coq_8.6-5build1_ppc64el.deb (17.4 MiB)
• coq_8.6-5build1_s390x.deb (17.1 MiB)
• coq_8.6.orig.tar.gz (4.8 MiB)
• coqide-dbgsym_8.6-5build1_amd64.ddeb (447.0 KiB)
• coqide-dbgsym_8.6-5build1_arm64.ddeb (480.8 KiB)
• coqide-dbgsym_8.6-5build1_armhf.ddeb (433.5 KiB)
• coqide-dbgsym_8.6-5build1_i386.ddeb (426.4 KiB)
• coqide-dbgsym_8.6-5build1_ppc64el.ddeb (412.6 KiB)
• coqide-dbgsym_8.6-5build1_s390x.ddeb (385.1 KiB)
• coqide_8.6-5build1_amd64.deb (1.5 MiB)
• coqide_8.6-5build1_arm64.deb (1.6 MiB)
• coqide_8.6-5build1_armhf.deb (1.4 MiB)
• coqide_8.6-5build1_i386.deb (1.3 MiB)
• coqide_8.6-5build1_ppc64el.deb (1.7 MiB)
• coqide_8.6-5build1_s390x.deb (1.7 MiB)
• libcoq-ocaml-dbgsym_8.6-5build1_amd64.ddeb (363.3 KiB)
• libcoq-ocaml-dbgsym_8.6-5build1_arm64.ddeb (330.8 KiB)
• libcoq-ocaml-dbgsym_8.6-5build1_armhf.ddeb (321.1 KiB)
• libcoq-ocaml-dbgsym_8.6-5build1_i386.ddeb (354.5 KiB)
• libcoq-ocaml-dbgsym_8.6-5build1_ppc64el.ddeb (295.2 KiB)
• libcoq-ocaml-dbgsym_8.6-5build1_s390x.ddeb (294.9 KiB)
• libcoq-ocaml-dev-dbgsym_8.6-5build1_amd64.ddeb (111.3 KiB)
• libcoq-ocaml-dev-dbgsym_8.6-5build1_arm64.ddeb (105.5 KiB)
• libcoq-ocaml-dev-dbgsym_8.6-5build1_armhf.ddeb (102.3 KiB)
• libcoq-ocaml-dev-dbgsym_8.6-5build1_i386.ddeb (108.2 KiB)
• libcoq-ocaml-dev-dbgsym_8.6-5build1_ppc64el.ddeb (92.9 KiB)
• libcoq-ocaml-dev-dbgsym_8.6-5build1_s390x.ddeb (93.9 KiB)
• libcoq-ocaml-dev_8.6-5build1_amd64.deb (13.2 MiB)
• libcoq-ocaml-dev_8.6-5build1_arm64.deb (13.4 MiB)
• libcoq-ocaml-dev_8.6-5build1_armhf.deb (13.7 MiB)
• libcoq-ocaml-dev_8.6-5build1_i386.deb (13.2 MiB)
• libcoq-ocaml-dev_8.6-5build1_ppc64el.deb (13.4 MiB)
• libcoq-ocaml-dev_8.6-5build1_s390x.deb (13.2 MiB)
• libcoq-ocaml_8.6-5build1_amd64.deb (3.4 MiB)
• libcoq-ocaml_8.6-5build1_arm64.deb (3.6 MiB)
• libcoq-ocaml_8.6-5build1_armhf.deb (3.3 MiB)
• libcoq-ocaml_8.6-5build1_i386.deb (3.2 MiB)
• libcoq-ocaml_8.6-5build1_ppc64el.deb (3.5 MiB)
• libcoq-ocaml_8.6-5build1_s390x.deb (3.5 MiB)