why3 1.2.0-1ubuntu1 source package in Ubuntu

Changelog

why3 (1.2.0-1ubuntu1) eoan; urgency=low

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

why3 (1.2.0-1) unstable; urgency=medium

  * New upstream version
  * Also build the library in bytecode
  * libwhy3-ocaml-dev: add Suggests:ocaml-findlib
  * Re-activate building of the ide, now using lablgtk3

why3 (1.1.1-4) unstable; urgency=medium

  * Add build-dependency ocaml-findlib (closes: #921465)
  * Replace dependency on debhelper by debhelper-compat
  * Enable coq support

why3 (1.1.1-3) unstable; urgency=medium

  * disable coq support.

why3 (1.1.1-2) unstable; urgency=medium

  * why3-coq: depend on the virtual package provided by coq and indicating
    the version of the coq ABI (closes: #918633).
  * Standards-Version 4.3.0 (no change)
  * Debhelper compatibility level 12
    - override dh_dwz to use --no-dwz-multifile

why3 (1.1.1-1) unstable; urgency=medium

  * New upstream version.
  * Fix whitespace in debian/{control/changelog}

why3 (1.1.0-1) unstable; urgency=medium

  * New upstream version. Works with cvc4 version 1.6 (closes: #906001)
  * Since lablgtk2 does no longer build liblablgtksourceview2-ocaml-dev:
    - drop build-dependencies liblablgtk2-ocaml-dev and
      liblablgtksourceview2-ocaml-dev
    - d/rules: configure with --disable-ide
    - note in NEWS that the IDE is dropped.
    - drop mention of IDE from why3.1 manpage.
  * Dependencies on provers : enforce version >= 2.0.0. for alt-ergo since
    upstream has dropped support for older versions. Add an
    "skip-not-installable" on the test why3+alt-ergo
  * Test why3+cvc4: fix selection of solver cvc4
  * d/copyright: update full text of CC license.
  * d/rules: remove empty why3shapes.gz files
  * Standards-Version 4.2.1 (no change)

why3 (1.0.0-2) unstable; urgency=medium

  * as-installed test why3+cvc4:
    - dropped erroneous version constraint on cvc4.
    - invoke prover simply as CVC4
    - marked test as skip-not-installable, instead of flaky, as cvc4 does not
      build on all architectures (architecture restriction set in src:cvc4),
      and since cvc4 is only an alternative dependency of why3.
  * as-installed test why3+cvc3:
    - marked test as skip-not-installable, instead of flaky, since cvc3
      recently has FTBFS, and since cvc3 is only an alternative dependency
      of why3.
  * as-installed-test why3+spass:
    - marked test as skip-not-installable since spass recently has FTBFS
      issues and was dropped from testing, and since spass is only an
      alternative dependency of why3.

why3 (1.0.0-1) unstable; urgency=medium

  * New upstream version
    - drop patch getopt_long-return-value which has been applied upstream
  * Upstream does no longer build coq-tactic:
    - drop these from why3-coq.install
    - drop mention of these from the long description of why3-coq
  * libwhy3-ocaml-dep: add dependency ${shlibs:Depends}
  * As-installed-tests:
    - adapt the why3 files in d/tests/why to the new syntax of WhyML
    - mark tests with cvc3 and cvc4 as flaky  (closes: #902308)
    - test why3+cvc4: specify 'CVC4 1.5' in the invocation of why3,
      constrain the dependency of the test on cvc4 accordingly.
  * NEWS.Debian: new syntax of WhyML, new location of standard lib

 -- Gianfranco Costamagna <email address hidden>  Thu, 25 Jul 2019 10:05:41 +0200