[ubuntu/artful-proposed] why3 0.87.3-2ubuntu2 (Accepted)

[Simon Quigley]

why3 (0.87.3-2ubuntu2) artful; urgency=medium

  * No-change rebuild for new menhir.

Date: Tue, 29 Aug 2017 18:39:07 -0500
Changed-By: Simon Quigley <tsimonq2 at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 29 Aug 2017 18:39:07 -0500
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2ubuntu2
Distribution: artful
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Simon Quigley <tsimonq2 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.87.3-2ubuntu2) artful; urgency=medium
 .
   * No-change rebuild for new menhir.
Checksums-Sha1:
 719c6f1679d8bf263b36db00252373a416ee587b 2688 why3_0.87.3-2ubuntu2.dsc
 984666b33d8086ad5a064dc3137958118bd46e3d 12796 why3_0.87.3-2ubuntu2.debian.tar.xz
 32dbfd35bd160ed3e810ae1f7e33e7e70d4380d2 6367 why3_0.87.3-2ubuntu2_source.buildinfo
Checksums-Sha256:
 5c438f8fe9455c696c4858d021223fcf5a17d1a01b21809aecb5fcddf28d5d58 2688 why3_0.87.3-2ubuntu2.dsc
 d82ef557bbdb155cc6be4bb4f4f8cf229a99bcaba0b10c37b8c7af0697364371 12796 why3_0.87.3-2ubuntu2.debian.tar.xz
 d5f35af80b7f859c7db88fb0dacf182a89c924ce4ec7869ca882fb2eab330236 6367 why3_0.87.3-2ubuntu2_source.buildinfo
Files:
 9b0f5f65bf2245fa665fbec52d179130 2688 math optional why3_0.87.3-2ubuntu2.dsc
 f53ce48c64d09ca38fa360baa9b75eef 12796 math optional why3_0.87.3-2ubuntu2.debian.tar.xz
 6c5dcba018cf597859c70004201188f4 6367 math optional why3_0.87.3-2ubuntu2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJZpfuZAAoJEOJ/LPhFjC+kCMkP/RA9dwJValAgDhTBynzNf9gP
S8+kho/+rjwXZecwaCzk3V5vF2lL+MsRKj9v2m0KdtISBo7pZ/6SodJa/8x5RGgz
zHz0QqMtzl4sE+QO/kXgpF/PUB5MnLUvcrrL++IAEdf9eUO/k1KVbIWNLZ6abzv5
WuFoKNQOh91r1hrn8tqP2NRNTGb7e9uup/9pFVLZc48qhYluhbk+LrUFwtzf+vme
VnF31VBM7kA7sDBzhbCt2XFh3csSkVvnO2IzOXoKNAwJx6IHCBjtrvzLxYAtCkvw
9ak4PL80QNYjehI6nJyHcen89j9TXS8h5hUfcYKTW0F8Nlyqh/FbDoX8disq/CLl
gzI5EKeyu/Gn6JtILjtMb8AnYVfkZHk6H99ftzBJ1u3Kh8QL1grD+0kAgNS5C5/T
mJkx1ugh8krVamobeyezzXWsMBmVI5qHeW8pND2dfInscGqImzfGu3FGcQpLiO5v
DeXd8B38UDVifT7v9w6Pj4Tf40QnLfQV5Wek6/45/jZsWlvs42H4J26gERqwr1Tc
W8XQ15d2OT06NuMEXANc1g1kFWL6RbomBvmu3ph6DbUNn2yXqDr1lTnSpQa+SPPN
EHi+WE23UBeKFsj9/fqLmwG+lltbn+XBqxyoqNC6ZNG0D/4lkDCA/Z7uNytfBpwZ
737CtG7mPFe+CooZzVAN
=Dvc0
-----END PGP SIGNATURE-----