[ubuntu/disco-proposed] why3 1.1.0-1build1 (Accepted)

[Jeremy Bicha]

why3 (1.1.0-1build1) disco; urgency=medium

  * No-change rebuild against latest menhir

Date: Sun, 25 Nov 2018 10:27:42 -0500
Changed-By: Jeremy Bicha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.1.0-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 25 Nov 2018 10:27:42 -0500
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.1.0-1build1
Distribution: disco
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bicha <jbicha 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 (1.1.0-1build1) disco; urgency=medium
 .
   * No-change rebuild against latest menhir
Checksums-Sha1:
 933f140812f16b0e6b6fe98c366ca4008678df9a 2581 why3_1.1.0-1build1.dsc
 c4efdcdd89d7b47e7fe42a748add2c64d43af9b8 16036 why3_1.1.0-1build1.debian.tar.xz
 14200e4ecee38f6912a08c0959e0ae5ffbd86823 6917 why3_1.1.0-1build1_source.buildinfo
Checksums-Sha256:
 88a2d6c46591215361eff45153e636a8d8a9d50518294b6b607c2f4b82fdfac0 2581 why3_1.1.0-1build1.dsc
 242b825b2e6d2380d068ca67a08eaa6710b69995e521aa6241cf6b45d885b1d6 16036 why3_1.1.0-1build1.debian.tar.xz
 d08b7a8bd1f9794dc2e5b74b9bc7b56092dae53a173a1c9542a107ff17bf6143 6917 why3_1.1.0-1build1_source.buildinfo
Files:
 8851e7c8c28148c84979fcffb534b92a 2581 math optional why3_1.1.0-1build1.dsc
 413faccc4052e80608bf7ee7dd9ff7a6 16036 math optional why3_1.1.0-1build1.debian.tar.xz
 2d384a55bd4aa7f607af6febd055468c 6917 math optional why3_1.1.0-1build1_source.buildinfo

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAlv6v3gACgkQ5mx3Wuv+
bH2c5Q//dgLtpAJza5/RKjeDOA9+rx3K85Q+B2Y7vP8cs4rwaFzMFDjUvz/IcB8e
vXOaIrKb/6fV1kBuvdZkt/bpVlUpacVeZbufrZR7ZFRQ+U45Bs3HcW6b4NpOxVJG
vCIDIOtSV0iOJIFjpc9oey9/DCZAoyOe6FMs3BmatO7oFcfPb94ynqqPNcCTPgIH
e1xHTTiQzn/mGsBysD6iaklrLY19M64s9vORNFOJwIFQfLmlCggeqiev4cjOQDfG
dwxnY7WmeEc30i5uqwbemCyuRqPdtTdhYIn+cxE/hIC7PHxCryhCFujcepn7D+XI
pcXgFh1yhNNPlGMK82Uqgonf8AXXnKwX2G2F+3sIBYJkkLjFzuaMQwZWCeDQc4CR
pT1hDwkmaXH81Z/WdUPad145aRf1qqfH56zGquYPwfghujJRVBbx7FaM3zv38zzV
/vSN37ADwRjF7Yu4dYjRYLW7WhBAoIDancnPvYwcS02yQQ0tYC0RiX+FyvG/OG1G
jJgeqxfMzF7lR742cXhXYn4z4npAOQkxu+EzS6y/L8SrKsd+w28H5qL7/yLvJ+P+
AUBhCi3z+MjSRUw/oVZhGLnpFqHw33J1+lB8CK3bQBMdozkE2fwYhEyFDKLoIr58
W+ap0XLoZD7yKAfz8lSVV42g7sUWalMUZKZu0nAHWIxcP9oLZx0=
=QPW+
-----END PGP SIGNATURE-----