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

[Gianfranco Costamagna]

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.

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

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: Tue, 30 Jan 2018 10:46:52 +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.3-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 30 Jan 2018 10:46:52 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-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.3-1ubuntu1) bionic; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
 .
 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
 .
 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:
 87469c7cd66031f78f290220495f439ab5bd868d 2717 why3_0.88.3-1ubuntu1.dsc
 219c136df08209ff1d293fd408bbbd5b69e5a27e 4245737 why3_0.88.3.orig.tar.gz
 f1ca6f5b28b61f0b24024b112b703ab9db001626 13216 why3_0.88.3-1ubuntu1.debian.tar.xz
 d0b033f60db1d5d3bdf2b0be993cd769a0d1e9c6 6451 why3_0.88.3-1ubuntu1_source.buildinfo
Checksums-Sha256:
 e3e9ab7ab7f3843e7fb1d59980234c5c72edcaed3d459187949466e2be224f9c 2717 why3_0.88.3-1ubuntu1.dsc
 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552 4245737 why3_0.88.3.orig.tar.gz
 d143f609f5118f630ee6572745af7f29f643bc715c7df647083f32e2ec535287 13216 why3_0.88.3-1ubuntu1.debian.tar.xz
 00a8b622aea14a7903e357b3f99220d071a88f19fe24a336049318606710403c 6451 why3_0.88.3-1ubuntu1_source.buildinfo
Files:
 400817d9093f6b614350f9940870df5c 2717 math optional why3_0.88.3-1ubuntu1.dsc
 1ee0fd41075ba5e77a4b94ad0cc2dd43 4245737 math optional why3_0.88.3.orig.tar.gz
 226dee8a7f43878403af2e3e8ea8c824 13216 math optional why3_0.88.3-1ubuntu1.debian.tar.xz
 016d0828fe231a9672ff700a43f719b9 6451 math optional why3_0.88.3-1ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJacD81AAoJEPNPCXROn13Zex4QAMNl30XNu3uYNRY9nj9vOZPU
SmVngWWI77zqqUb6JMr9f9EeNhHIRinnV/5kkYNgEOAnIUmBboLo5hZHHvvaPghd
WKKo53xrZwF4MMLoFgVYauxbMWSzNn3NoiXzvUeMGPTawI/WPIZNUbOOQeOc837x
9B3kXzRZtcT6YRGeXMVYwgc1Z02cre9JZUU6LDuD4R8ew20xA8qAmnb39ypvs5nG
oR04ZW8bmxIQ4FFHsvhwkzQlaeJGoZOGWWP6984+Z+vqfrdRqsVhQnuL7pq6Nh8R
p9QYo0PWnQSZymCgtSdE6q4h33yJknKplJ+gP9vpaniDbfxlpUsqMdnvk5lVzq32
NZg4WU+BWWqWTLUGKs1ADJcB2s1/94Gqq7KmApIsE6HI+EJAUs7jlX18muvueJGQ
ocKkFToAMv7yp0jB8BhvMTDosqkQom7sK1AxKrjsKmX9lDfeDda//ymfWg7vnwY4
EcnBX0f4oWCheoTq2E83cFAtxfc1IXEIE9+V5HuSh4Q0KCaz1XCOXosKdktidRxn
D45AQ7bBIMvehfRGF8NdNOhJU2h+b369UPtHRXLzqV+COCjD0MnKPn+/7fgmMoCD
gLJKLRFokfU5RP5lrd/VEEAoGFtyY0Eq2h5zqHN+OcNHr8Rrzb06DwogXMGRVneg
9cF6v+HlmmxyhriGGAIp
=LIvf
-----END PGP SIGNATURE-----