why3 (0.88.3-1ubuntu4) bionic; urgency=medium

  * Implement proper per-architecture handling of the why3+cvc4 autopkgtest.

 -- Steve Langasek <steve.langasek@ubuntu.com>  Fri, 06 Apr 2018 18:32:36 -0700

why3 (0.88.3-1ubuntu3) bionic; urgency=medium

  * debian/patches/portable-getopt.patch: fix unportable assumptions in
    getopt_long() handling.

 -- Steve Langasek <steve.langasek@ubuntu.com>  Fri, 06 Apr 2018 18:25:53 -0700

why3 (0.88.3-1ubuntu2) bionic; urgency=medium

  * Drop the why3+cvc4 test, since cvc4 is only available on x86 and
    there's no way to make autopkgtests per-architecture.

 -- Steve Langasek <steve.langasek@ubuntu.com>  Thu, 22 Mar 2018 23:21:56 -0700

why3 (0.88.3-1ubuntu1) bionic; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 30 Jan 2018 10:46:52 +0100

why3 (0.88.3-1) unstable; urgency=medium

  * New upstream version.
    - drop creation of empty directories in debian/rules, this has been
      fixed by upstream.
  * Standards-Version 4.1.3 (no change)
  * debian/rules:
    - fix configure stamps
    - drop build stamps, we do not need them. 
    - dh-install: exclude extra LICENSE file
    - drop override_dh_auto_build 
  * debhelper compatibility level 11

 -- Ralf Treinen <treinen@debian.org>  Sun, 14 Jan 2018 14:52:54 +0100

why3 (0.88.2-1) unstable; urgency=medium

  * New upstream version.
  * Standards-Version 4.1.2 (no change)
  * d/rules:
    - recreate in target configure the empty directories that are
      in the orig tarball.
    - invoke dh_missing with --fail-missing
  * fix why3.install, add missing files from usr/lib
  * Added build-dep-indep texlive-bibtex-extra
  * debhelper compat level 10
  * New SMT solver cvc4:
    - add as an alternative Recommends
    - add autopkgtest test case

 -- Ralf Treinen <treinen@debian.org>  Tue, 12 Dec 2017 22:22:24 +0100

why3 (0.87.3-2ubuntu4) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 28 Oct 2017 16:41:58 +0200

why3 (0.87.3-2ubuntu3) artful; urgency=medium

  * Don't run why3+z3 on s390x, fails. Already ignored on ppc64el.

 -- Matthias Klose <doko@ubuntu.com>  Mon, 18 Sep 2017 22:11:33 +0200

why3 (0.87.3-2ubuntu2) artful; urgency=medium

  * No-change rebuild for new menhir.

 -- Simon Quigley <tsimonq2@ubuntu.com>  Tue, 29 Aug 2017 18:39:07 -0500

why3 (0.87.3-2ubuntu1) artful; urgency=medium

  * Skip why3+z3 test on ppc64el, as it hangs indefinately.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Mon, 17 Jul 2017 10:25:38 +0100

why3 (0.87.3-2build5) artful; urgency=high

  * No change rebuild against coq abi change.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Sun, 16 Jul 2017 23:46:41 +0100

why3 (0.87.3-2build4) artful; urgency=high

  * No change rebuild against ocaml with old binutils on arm64.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Sun, 16 Jul 2017 15:32:00 +0100

why3 (0.87.3-2build3) artful; urgency=medium

  * Rebuild due to changed ocaml abis.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Mon, 10 Jul 2017 18:00:11 +0100

why3 (0.87.3-2build2) artful; urgency=high

  * No change rebuild against ocaml 4.04.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Mon, 03 Jul 2017 01:29:49 +0100

why3 (0.87.3-2build1) artful; urgency=medium

  * No-change rebuild against libmenhir-ocaml-dev-gvxl7

 -- Steve Langasek <steve.langasek@ubuntu.com>  Sun, 25 Jun 2017 08:11:24 +0000

why3 (0.87.3-2) unstable; urgency=medium

  * upload to unstable
  * as-installed test why3+z3: do not fail when z3 segfaults.

 -- Ralf Treinen <treinen@debian.org>  Sat, 21 Jan 2017 21:02:08 +0100

why3 (0.87.3-1) experimental; urgency=medium

  * New upstream version:
    - drop patch coq8.6 which is now integrated by upstream.
  * Fix path of ocaml libdir in debian/libwhy3-ocaml-dev.install
  * Capitalization in short description of libwhy3-ocaml-dev
  * Drop build-dependency on autoconf

 -- Ralf Treinen <treinen@debian.org>  Thu, 12 Jan 2017 16:56:47 +0100

why3 (0.87.2-3) unstable; urgency=medium

  * adapt to coq version 8.6:
    - patch coq8.6: compile coq plugin with coq8.6. Thanks to Guillaume
      Melquiond for the patch!
    - add autoconf to build-dependency (needed since configure.in is patched)
    - fix path of ocaml libdir in debian/libwhy3-ocaml-dev.install
 
 -- Ralf Treinen <treinen@debian.org>  Tue, 03 Jan 2017 20:56:05 +0100

why3 (0.87.2-2) sid; urgency=medium

  * install why3lang.sty:
    - add to why3.install
    - add target directory to why3.dirs
    - invoke dh --with tex
    - add build-dependency on tex-common

 -- Ralf Treinen <treinen@debian.org>  Wed, 21 Sep 2016 21:15:04 +0200

why3 (0.87.2-1) unstable; urgency=medium

  * new upstream release.
    - d/rules: replace EMACS=no by --disable-emacs-compilation
    - drop patch typos, applied by upstream
    - drop patch drop-timestamp, applied by upstream. As a consequence,
      we drop autoconf from d/rules and from build-dependencies 
  * add debian/tests/why3+coq

 -- Ralf Treinen <treinen@debian.org>  Thu, 01 Sep 2016 19:21:22 +0200

why3 (0.87.1-2) unstable; urgency=medium

  * amended patch drop-timestamp: drop setting of BUILDDATE from configure.in
    (closes: #831664). Invoke autoconf, and build-depend on autoconf,
    since we patch configure.in

 -- Ralf Treinen <treinen@debian.org>  Tue, 19 Jul 2016 19:05:11 +0200

why3 (0.87.1-1) unstable; urgency=medium

  * new upstream version
    -dropped patch makefile-for-bytecode, since integrated by upstream
  * added z3 prover:
    - alternative dependency z3
    - add package test with z3
  * new patch drop-timestamp: do not include the build-timestamp in the
    produced binaries.

 -- Ralf Treinen <treinen@debian.org>  Wed, 08 Jun 2016 20:42:36 +0200

why3 (0.87.0-3) unstable; urgency=medium

  * debian/tests/*: run "why3 config --detect-provers" to make tests
    work in a clean environment.

 -- Ralf Treinen <treinen@debian.org>  Thu, 14 Apr 2016 19:00:49 +0200

why3 (0.87.0-2) unstable; urgency=medium

  * added a new binary package libwhy3-ocaml-dev
    - install libraries in install-arch target of d/rules
    - add d/*.install and d/*.dir files for this package
    - call dh_ocaml with --nodefined-map=why3-coq:Why3 since this unit is
      also exported by the library package
  * d/rules: split into -arch and -indep rules
  * d/control: split off Build-Depends-Indep
  * build and install why tactic for coq:
    - add build-dependency on libcoq-ocaml-dev
    - add coq-tactic to d/why3-coq.install
    - why3-coq: add dependencies ${ocaml:Depends} ${shlibs:Depends}
  * build with menhirlib:
    - add build-dependency on libmenhir-ocaml-dev
    - call dh_ocaml with --nodefined-map=why3-coq:MenhirLib
  * build with ocamlgraph:
    - turn build-conflict with libocamlgraph-ocaml-dev into build-dependency
    - call dh_ocaml with --nodefined-map=why3:Graph since this unit is
      also exported by libocamlgraph-ocaml-dev.
  * build with compression library:
    - added build-dependency on libzip-ocaml-dev
    - call dh_ocaml with --nodefined-map=why3-coq:Gzip,Zlib since these units
      are also exported by libzip-ocaml
  * build-dependency ocaml-nox: needs version >=3.11.2, according to
    upstream instructions.
  * added build-dependency libzarith-ocaml-dev
  * added recommendation (alternative): spass
  * added as-installed package tests:
    - why3+alt-ergo
    - why3+cvc3
    - why3+spass
  * update Vcs-* fields
  * standards-version 3.9.8 (no change)
  * patch typos: various typos found by lintian 

 -- Ralf Treinen <treinen@debian.org>  Wed, 13 Apr 2016 20:48:54 +0200

why3 (0.87.0-1) unstable; urgency=low

  * Initial Release (closes: #797696)

 -- Ralf Treinen <treinen@debian.org>  Sun, 20 Mar 2016 18:44:54 +0100
