[ubuntu/cosmic-proposed] why3 0.88.3-2ubuntu1 (Accepted)

[Steve Langasek]

why3 (0.88.3-2ubuntu1) cosmic; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
    - Implement per-architecture handling of the why3+cvc4 autopkgtest,
      since cvc4 is only available on x86.
  * Dropped changes, included in Debian:
    - debian/patches/portable-getopt.patch: fix unportable assumptions in
      getopt_long() handling.

why3 (0.88.3-2) unstable; urgency=medium

  * Standards-version 4.1.4 (no change).
  * d/copyright: https in format specification
  * Add patch getopt_long-return-value which fixes a portability issue
    (closes: #895103). Thanks a lot to Steve Langasek for the patch!

Date: Tue, 15 May 2018 16:17:06 -0700
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.88.3-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 15 May 2018 16:17:06 -0700
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-2ubuntu1
Distribution: cosmic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
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: 895103
Changes:
 why3 (0.88.3-2ubuntu1) cosmic; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
     - Implement per-architecture handling of the why3+cvc4 autopkgtest,
       since cvc4 is only available on x86.
   * Dropped changes, included in Debian:
     - debian/patches/portable-getopt.patch: fix unportable assumptions in
       getopt_long() handling.
 .
 why3 (0.88.3-2) unstable; urgency=medium
 .
   * Standards-version 4.1.4 (no change).
   * d/copyright: https in format specification
   * Add patch getopt_long-return-value which fixes a portability issue
     (closes: #895103). Thanks a lot to Steve Langasek for the patch!
Checksums-Sha1:
 974fbb310e92a94c4709134c12480e622216777c 2786 why3_0.88.3-2ubuntu1.dsc
 9b030bd87bd7c36b2232d6f0c9255583a51f8641 13828 why3_0.88.3-2ubuntu1.debian.tar.xz
 ef7d0e7b3af5fea6077605b33e7027b7d45fa5bf 6374 why3_0.88.3-2ubuntu1_source.buildinfo
Checksums-Sha256:
 af7814b7453dae80feb745f11838c454926868671e2589ca0ca05197560b299d 2786 why3_0.88.3-2ubuntu1.dsc
 89f17d1d06a559d3d9b1aa0e4970d7d35a33a3275559600b35b2b3cef086e503 13828 why3_0.88.3-2ubuntu1.debian.tar.xz
 7aef1e0652366b71e5bebfa8fb9aec27ebda26202b21bc684ee4dc84f69aebe7 6374 why3_0.88.3-2ubuntu1_source.buildinfo
Files:
 e99fa888f490bdeaa3910a8f6e693053 2786 math optional why3_0.88.3-2ubuntu1.dsc
 8182a69842d4b27551ecd3876f8c6016 13828 math optional why3_0.88.3-2ubuntu1.debian.tar.xz
 a9c4e4e3fb0714430e2e2f5d2f08391a 6374 math optional why3_0.88.3-2ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAlr7awUaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2MihAAw74sOsgVmfqfs3KJMjic
EefXeWwC5BeKZgzYu3Jk3lM8lkPZ9dlqvIu3Jszi9TnahoCYbCjN3A/2Ysjpl110
PpQlGz9D6zM8GIs/T/i5H3Q2cHg03zT5k4FcGardF1ag8TZzEw4U6RtcIQ8CEHoh
MCVN1nOKU4gwHhBsbQSUJ1xrgerfVA4xxcvPyVz3Oea0y7xgTjL26yqqyDtKCst9
/5SYj+nC1ybFQxno+GaBk2rim4poqeHO/kD4ffnWi4FY7P4p3ng5OL51EJhtlUT/
CQDCI3WGdW8IBW+DDoKaQb4zL2S7poQdNHOZh6vjLEm07NRLQAglPcHuUs/qoKQv
Mt6Wf4qquMbq4WTGBAZWdvb7a1G5F+Nn5Wa4J/wK1ftb6ggr3lgli1wpYQ7fxklx
RYdFXswwZMzFLpimsRPjyeFNqfOkVqz/j/ruUB3VQGyRTDSzRH09hPlYvDrjWXWm
gQMZt6ImvRYMOc94zk2wOe9mifkuPIt+RreNxd2Jkd1HyZviHaLZBjvt/ISwx0yA
xgp6aaUZvAgcWuNy0rhasmKfVVkzMwvGRWWA1fKno6hGFeTsGS7r2OLqjrwCsljk
QplbFkfyyuhbVZAWqvOxSLKmYuoFD7CgYOzCZ/lRj9Bc5q4WCugmAxht4Wjkny35
obmcmUH9FpGOvbO5YxpYRvg=
=ziLe
-----END PGP SIGNATURE-----