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

[Steve Langasek]

why3 (0.88.3-1ubuntu3) bionic; urgency=medium

  * debian/patches/portable-getopt.patch: fix unportable assumptions in
    getopt_long() handling.

Date: Fri, 06 Apr 2018 18:25:53 -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-1ubuntu3
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Apr 2018 18:25:53 -0700
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-1ubuntu3
Distribution: bionic
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
Changes:
 why3 (0.88.3-1ubuntu3) bionic; urgency=medium
 .
   * debian/patches/portable-getopt.patch: fix unportable assumptions in
     getopt_long() handling.
Checksums-Sha1:
 6a501da754b31ca9a49375c8d009a58af7c4cfd8 2780 why3_0.88.3-1ubuntu3.dsc
 6bd645472af884e29c0d69628ed66239697d72ef 13628 why3_0.88.3-1ubuntu3.debian.tar.xz
 3b4046313fd689d0d33ba7f24c0925c0b2075be6 6469 why3_0.88.3-1ubuntu3_source.buildinfo
Checksums-Sha256:
 f15d999b75a0c54b4b611962f6abd0ec6d964858a925279a99b60801464d2882 2780 why3_0.88.3-1ubuntu3.dsc
 774c463213ddde266eb74a7d9371f50d6d6558770c86c24aa7779a8ae7b853f9 13628 why3_0.88.3-1ubuntu3.debian.tar.xz
 164c5ab84360cc99866ee5a01e0d8a6338555f15bcc8f8994e928d949ed2b89c 6469 why3_0.88.3-1ubuntu3_source.buildinfo
Files:
 cbc0f2fa8b49ae54e14373a26f725243 2780 math optional why3_0.88.3-1ubuntu3.dsc
 0bc3596908566e16b71faf11c56d71e0 13628 math optional why3_0.88.3-1ubuntu3.debian.tar.xz
 6977409f4538cd8a49d22c8dbb0d9099 6469 math optional why3_0.88.3-1ubuntu3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>