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

[Steve Langasek]

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

  * Implement proper per-architecture handling of the why3+cvc4 autopkgtest.

Date: Fri, 06 Apr 2018 18:32:36 -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-1ubuntu4
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Apr 2018 18:32:36 -0700
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-1ubuntu4
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-1ubuntu4) bionic; urgency=medium
 .
   * Implement proper per-architecture handling of the why3+cvc4 autopkgtest.
Checksums-Sha1:
 dd3220e8bb1d292c1c6f74d44d70ba15c8a86723 2786 why3_0.88.3-1ubuntu4.dsc
 02251f5acf60712a6b7144c72dc6e525f38eacd9 13732 why3_0.88.3-1ubuntu4.debian.tar.xz
 6bb121be22619a55ebaeb53514768df7ed55d391 6469 why3_0.88.3-1ubuntu4_source.buildinfo
Checksums-Sha256:
 e4b57afc4819dd83cbf9ee2b3f42286421a9a7c11f173ee64ba136438197475c 2786 why3_0.88.3-1ubuntu4.dsc
 f41b8621646073fc9994f48cf21e506e5117ca7b7e4cd1a3cf807d40e3cbdd7d 13732 why3_0.88.3-1ubuntu4.debian.tar.xz
 98fa133bb21bea35608a73da5ad1eb577d3456baf4183e106067424ada68a603 6469 why3_0.88.3-1ubuntu4_source.buildinfo
Files:
 bcebfee07a56a9ab0962183364d48df7 2786 math optional why3_0.88.3-1ubuntu4.dsc
 16d6fe5c9f58dcb3bec9e7f0c09b992d 13732 math optional why3_0.88.3-1ubuntu4.debian.tar.xz
 03c97b09ec129460b00f22b7c67a12b7 6469 math optional why3_0.88.3-1ubuntu4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>