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

[Gianfranco Costamagna]

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

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

why3 (1.2.0-3) unstable; urgency=medium

  * why3 1.2.0 supports z3 up to version 4.8.4 only (closes: #942344)
    - add a version constraint to Recommends
    - add a version constraint to the dependencies of test why3+z3
    - flag test why3+z3 as skip-not-installable
  * Standards-Version 4.4.1 (no change)

Date: Wed, 16 Oct 2019 10:30:48 +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-3ubuntu1
-------------- next part --------------
Format: 1.8
Date: Wed, 16 Oct 2019 10:30:48 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-3ubuntu1
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: 942344
Changes:
 why3 (1.2.0-3ubuntu1) eoan; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el, as it hangs indefinitely.
 .
 why3 (1.2.0-3) unstable; urgency=medium
 .
   * why3 1.2.0 supports z3 up to version 4.8.4 only (closes: #942344)
     - add a version constraint to Recommends
     - add a version constraint to the dependencies of test why3+z3
     - flag test why3+z3 as skip-not-installable
   * Standards-Version 4.4.1 (no change)
Checksums-Sha1:
 77d1af816347bb165890cda7b339377c34524039 2662 why3_1.2.0-3ubuntu1.dsc
 f3a50b2a60a424c0bae65ece3cc14e61d0fde2d5 18616 why3_1.2.0-3ubuntu1.debian.tar.xz
 ee4a4b60684f8b92028f0addb1b901d3c0ebc74b 14296 why3_1.2.0-3ubuntu1_source.buildinfo
Checksums-Sha256:
 93cc3e7905f261b76cdcc44a5295e952d8ae0cb59033bc4a2e3d9026792d2271 2662 why3_1.2.0-3ubuntu1.dsc
 1afe7921e718cc5da83e040f53be4d3ba10019ff9b2418449362c7b3a26fe6dc 18616 why3_1.2.0-3ubuntu1.debian.tar.xz
 937ebbb8a192c96d45701c68224dc7fb8a1fecdad95f8069cb2d9616733aa66b 14296 why3_1.2.0-3ubuntu1_source.buildinfo
Files:
 728864208fa431f1065ef9eb6aa49d39 2662 math optional why3_1.2.0-3ubuntu1.dsc
 7e6579a76fb3c3d85ca8a5af4c68cfc8 18616 math optional why3_1.2.0-3ubuntu1.debian.tar.xz
 1ab6ce739c63d32652899d072ebc5034 14296 math optional why3_1.2.0-3ubuntu1_source.buildinfo