Publishing details

• Created on 2015-11-13 by Ubuntu Archive Auto-Sync
• Published on 2015-11-13

Changelog

coq (8.4pl4dfsg-3build2) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

 -- Iain Lane <email address hidden>  Wed, 04 Nov 2015 10:40:32 +0000

Builds

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

Built packages

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

• coq-dbgsym debug symbols for package coq

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

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

• coqide-dbgsym debug symbols for package coqide

• libcoq-ocaml runtime libraries for Coq

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

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

Package files

• coq-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb (822.6 KiB)
• coq-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb (835.6 KiB)
• coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb (866.5 KiB)
• coq-dbgsym_8.4pl4dfsg-3build2_i386.ddeb (771.4 KiB)
• coq-theories_8.4pl4dfsg-3build2_all.deb (30.7 MiB)
• coq_8.4pl4dfsg-3build2.debian.tar.xz (15.8 KiB)
• coq_8.4pl4dfsg-3build2.dsc (2.3 KiB)
• coq_8.4pl4dfsg-3build2_amd64.deb (3.8 MiB)
• coq_8.4pl4dfsg-3build2_arm64.deb (3.7 MiB)
• coq_8.4pl4dfsg-3build2_armhf.deb (3.6 MiB)
• coq_8.4pl4dfsg-3build2_i386.deb (3.6 MiB)
• coq_8.4pl4dfsg-3build2_powerpc.deb (3.3 MiB)
• coq_8.4pl4dfsg-3build2_ppc64el.deb (1016.0 KiB)
• coq_8.4pl4dfsg-3build2_s390x.deb (1017.2 KiB)
• coq_8.4pl4dfsg.orig.tar.gz (3.4 MiB)
• coqide-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb (260.0 KiB)
• coqide-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb (260.1 KiB)
• coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb (267.3 KiB)
• coqide-dbgsym_8.4pl4dfsg-3build2_i386.ddeb (242.9 KiB)
• coqide-dbgsym_8.4pl4dfsg-3build2_powerpc.ddeb (232.2 KiB)
• coqide_8.4pl4dfsg-3build2_amd64.deb (731.4 KiB)
• coqide_8.4pl4dfsg-3build2_arm64.deb (753.9 KiB)
• coqide_8.4pl4dfsg-3build2_armhf.deb (762.6 KiB)
• coqide_8.4pl4dfsg-3build2_i386.deb (694.9 KiB)
• coqide_8.4pl4dfsg-3build2_powerpc.deb (648.8 KiB)
• coqide_8.4pl4dfsg-3build2_ppc64el.deb (207.8 KiB)
• coqide_8.4pl4dfsg-3build2_s390x.deb (207.8 KiB)
• libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb (106.3 KiB)
• libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb (106.9 KiB)
• libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb (107.0 KiB)
• libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_i386.ddeb (99.0 KiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb (3.5 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb (3.7 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb (4.0 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb (3.6 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb (3.5 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb (1.2 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb (1.2 MiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb (1.4 MiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb (1.3 MiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb (1.4 MiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb (1.3 MiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb (1.3 MiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb (327.7 KiB)
• libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb (329.9 KiB)