Publishing details

• Published on 2016-06-19

Changelog

coq (8.5-2build1~ubuntu14.04.1~ppa1) trusty; urgency=medium

  * No-change backport to trusty

coq (8.5-2build1) yakkety; urgency=medium

  * No-change rebuild against camlp5

coq (8.5-2) unstable; urgency=medium

  * patch: disable test 4429 (timeout too strict for slow architectures)

coq (8.5-1) unstable; urgency=medium

  * New upstream release
  * patch: disable test 4366 (timeout too strict for slow architectures)

coq (8.5~beta3+dfsg-2) experimental; urgency=medium

  * Option -no-native-compiler now called -native-compiler no

coq (8.5~beta3+dfsg-1) experimental; urgency=medium

  * New upstream release

coq (8.5~beta2+dfsg-2) experimental; urgency=medium

  * Enable native compiler only on amd64 and i386
  * Enable 'make test-suite' target

coq (8.5~beta2+dfsg-1) experimental; urgency=medium

  * New upstream release
  * Add Enrico Tassi to uploaders
  * Disable patch for lockf on Hurd (not needed anymore)
  * coq-theories is now arch any, since it contains .coq-native/ directories
    (i.e. cmxs files for native compute)
  * coq depends on coq-theories binary:Version
  * lintian-overrides for coq-native/*cmx* and plugins/*cmxs files
    (hardening-no-relro)
  * Build depend on liblablgtksourceview2-ocaml-dev

coq (8.4pl4dfsg-1) unstable; urgency=medium

  * New upstream release (Closes: #755953)
  * Switch debian/copyright to Format 1.0
  * Bump Standards-Version to 3.9.5
  * Bump debhelper compat level to 9

 -- Jason Gross <email address hidden>  Sun, 19 Jun 2016 13:01:41 -0400

Builds

• amd64
• i386

Built packages

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

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

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

• libcoq-ocaml runtime libraries for Coq

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

Package files

• coq-theories_8.5-2build1~ubuntu14.04.1~ppa1_amd64.deb (31.4 MiB)
• coq-theories_8.5-2build1~ubuntu14.04.1~ppa1_i386.deb (30.5 MiB)
• coq_8.5-2build1~ubuntu14.04.1~ppa1.debian.tar.gz (18.4 KiB)
• coq_8.5-2build1~ubuntu14.04.1~ppa1.dsc (2.5 KiB)
• coq_8.5-2build1~ubuntu14.04.1~ppa1_amd64.deb (12.3 MiB)
• coq_8.5-2build1~ubuntu14.04.1~ppa1_i386.deb (12.0 MiB)
• coq_8.5.orig.tar.gz (4.6 MiB)
• coqide_8.5-2build1~ubuntu14.04.1~ppa1_amd64.deb (1.0 MiB)
• coqide_8.5-2build1~ubuntu14.04.1~ppa1_i386.deb (1000.8 KiB)
• libcoq-ocaml-dev_8.5-2build1~ubuntu14.04.1~ppa1_amd64.deb (12.7 MiB)
• libcoq-ocaml-dev_8.5-2build1~ubuntu14.04.1~ppa1_i386.deb (12.7 MiB)
• libcoq-ocaml_8.5-2build1~ubuntu14.04.1~ppa1_amd64.deb (3.2 MiB)
• libcoq-ocaml_8.5-2build1~ubuntu14.04.1~ppa1_i386.deb (3.1 MiB)