[ubuntu/bionic-proposed] why3 0.88.2-1ubuntu1 (Accepted)

[Gianfranco Costamagna]

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

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

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

Date: Thu, 14 Dec 2017 08:40:43 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.88.2-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 14 Dec 2017 08:40:43 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.2-1ubuntu1
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
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
Changes:
 why3 (0.88.2-1ubuntu1) bionic; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinately.
 .
 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
Checksums-Sha1:
 c0e4ffaacde1f1f4bfcdca9b9d6a69e1a56b331d 2717 why3_0.88.2-1ubuntu1.dsc
 2543c65709eadcc28efb5a17e32138c9e2463153 4488646 why3_0.88.2.orig.tar.gz
 58e354f157daa90e92d07def421b53a935a8f3d8 13168 why3_0.88.2-1ubuntu1.debian.tar.xz
 bdc23e537edda159d3ae9aaa3aa85d804592c101 6596 why3_0.88.2-1ubuntu1_source.buildinfo
Checksums-Sha256:
 b3e4ccee265255690c118b09a1071e5a5ec9975431df0d5e3435dcbca5e2023b 2717 why3_0.88.2-1ubuntu1.dsc
 83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8 4488646 why3_0.88.2.orig.tar.gz
 a87be22136b68add9381d7e8aeb704310e688f3cdd58f4de2cd5dca821bb8a23 13168 why3_0.88.2-1ubuntu1.debian.tar.xz
 4825ae129a759bdb99c7b94425573569d782a723dcc0d7ed63b2f0c6ac8603ac 6596 why3_0.88.2-1ubuntu1_source.buildinfo
Files:
 bef083daf19799aa2f27f2b85e06a4ca 2717 math optional why3_0.88.2-1ubuntu1.dsc
 72f185431d909aeb6b0a1e7043a600ec 4488646 math optional why3_0.88.2.orig.tar.gz
 7801da199ff6b68e7404d33229734124 13168 math optional why3_0.88.2-1ubuntu1.debian.tar.xz
 84144163874c50d46710caf943fb30e3 6596 math optional why3_0.88.2-1ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJaMisaAAoJEPNPCXROn13ZrD0P/2eZ1o5VQv2fapavVJlqZEkL
uBNFMCkTJO/655I28PzXaEPw109k+hxSxH5SRU8gd4n/LD+toCqbkcFs47yCHpTc
wZTRr3gN8+WnOD8LvPj0UaaVSNLC7t3e18W6IdmEtI6JiZsde46+NtnSbhVHhtQc
npqblVTXRyzLu1YRbG8HLkrsVanZa2ZJKuz/eURpHr9KkYf4nmzRIYLKZRmkdrUQ
s42SVMvF6nwMRvIrovtrOe5W8KCPk0jwdL718ERXJYQ908rN1MU+jdBrZJp5lTfp
GDHpQpftIx9lW/koWUmoCmmD72J+eHADgkcA5buSIiAMSl80A/zAHWTK+dLLQcdG
I5nECoEAhi0H1yz+wxd5301vS0+OdVvQzgHeuO7yy3A8dQ7WEArp89AYz7BhLQrm
1DalFmwNMrkWaOlRXApvZRbci+6gqiG9d5wrmtQnYaQQHrJH0MMNdj6UbbIHxXSo
OyUrSlOdnfIphNy+PH0j98EJ0mq9MfzEA8acVEyj1BStYVKlm5UBJqsYMvfaWaVL
46xzoY2Vn/ucIjN9C8sWXfaZq/cnMe0n6T8eJGnKAOZmHZLhVcOCz7weMEtOaS0J
Tq2/d6tDvYrMY51ssQA99rXw6lNFpduYMaJsUrTkfFRvQy/8EzKPDHYYbL4hNBD2
GEgCu16O0SKTR0yDsXSo
=CBAW
-----END PGP SIGNATURE-----