[ubuntu/eoan-proposed] why3 1.2.0-1ubuntu1 (Accepted)

Thu Jul 25 08:09:12 UTC 2019

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

Date: Thu, 25 Jul 2019 10:05:41 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.2.0-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 25 Jul 2019 10:05:41 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-1ubuntu1
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
 why3       - Software verification platform
 why3-coq   - Coq support for the why3 verification platform
 why3-doc-html - HTML Documentation of the why3 verification platform
 why3-doc-pdf - PDF Documentation of the why3 verification platform
 why3-examples - Examples for the why3 verification platform
Closes: 902308 906001 918633 921465
Changes:
 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
Checksums-Sha1:
 3d86f6ec29fd059da6429ae4fd3d4e386d5387c6 2662 why3_1.2.0-1ubuntu1.dsc
 4c33153edea22c8874749d42f57da327824e0e84 17120 why3_1.2.0-1ubuntu1.debian.tar.xz
 765070d7ef52a119a6afea2dc4d9fefda843f6f9 14260 why3_1.2.0-1ubuntu1_source.buildinfo
Checksums-Sha256:
 3d8c62a4a786a192c1c8f315cd82158cebdeda174b0992e9599a31dd78d47499 2662 why3_1.2.0-1ubuntu1.dsc
 a59d57053aa6714b520de5b425c3f18ab9f6143943abed60fa50251046f30dcd 17120 why3_1.2.0-1ubuntu1.debian.tar.xz
 cbf473ea2efe1d3337dd217b97db487558cf6e0704bade5681db8a2c0cd807c8 14260 why3_1.2.0-1ubuntu1_source.buildinfo
Files:
 db2fb6e3cb2f81983538549ad5151603 2662 math optional why3_1.2.0-1ubuntu1.dsc
 0448eec23c0099385d1b4d56da0bf37c 17120 math optional why3_1.2.0-1ubuntu1.debian.tar.xz
 4e10988b3272f59d136f098530f2cb11 14260 math optional why3_1.2.0-1ubuntu1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl05Y1wACgkQ808JdE6f
XdnahBAAmVCdL5I1gfOL4JsATEngHmC0vSm3CnyqZT5C+E3fDquLvXwupAbR8uav
kfth2wS8Nc0xaxHRJWommYQEXGz8GvCvwvCahYdyHFb0oWszbv0+VUikFiLLBN96
hwa9voDz8xRMVBq2zHOpAAJSZN6uUHDf7yXQNOoKqfhM4cDWb8wQpWsRRrNVlfT2
M1Yf0XAwZuNjZgOdnM0GOkwTj64D3/o6iyAE3Bx50w0jeua22pge7/aHCIpllE6p
74Ki4ZoSuCvn3fTN9NqPNjOCXJDEFaUXySubVj/JP8b6kxysyhW61eYx55SJhkyA
j7huD0fRsDOpyHu0TXKgKXicT7Hxhj3dGFGYXnwwBN/nOURPNqFLAks+vD/K8jPQ
PQKyveQfcqX3r4OXudVN9zpWkA5Bxt5i3cUyrhYizlQ9ZvrdRB58IQQ4iGpCt8oi
+BarDM6e1hMatCo/I0dTQAVD/v7yQrT+umMCSSLjqPVglMbIT4nlhUYHEPOtsFdV
8p/58NSnaO6GT3F9XQqa/qR8IR36dhypVbqwwxzx8lMNlaooczDYx2Cs6ZQCsX4a
asWOzjYMrPXo0fLm6cbRi0mx+0KdoqKSU/8bmOq533SlH8fwHRSLBYaW1mO/mnCF
Wr5l2kTbHA7+JXPsXInlT5Etj3MFCHxcamW3eAv1kbWD/M73JP4=
=T/a4
-----END PGP SIGNATURE-----