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

[Matthias Klose]

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

  * Don't run why3+z3 on s390x, fails. Already ignored on ppc64el.

Date: Mon, 18 Sep 2017 22:11:33 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2ubuntu3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 18 Sep 2017 22:11:33 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2ubuntu3
Distribution: artful
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko 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-2ubuntu3) artful; urgency=medium
 .
   * Don't run why3+z3 on s390x, fails. Already ignored on ppc64el.
Checksums-Sha1:
 d65c17829807779dee1ecae175d48b908f95fe70 2706 why3_0.87.3-2ubuntu3.dsc
 a9d45f287bb186229da0dc961ef0846cf6e37c61 12860 why3_0.87.3-2ubuntu3.debian.tar.xz
 eccb16675a5874b0621b691c1414916a3b12b260 8291 why3_0.87.3-2ubuntu3_source.buildinfo
Checksums-Sha256:
 b93fe9750dd7603a64a4bf9814abdb23438fb5e42093309bd61a1714b387a57e 2706 why3_0.87.3-2ubuntu3.dsc
 b04b1c2f201c61f1a7b99ae5e8cadee544295b3796d3835e8a52b1f2db386f5e 12860 why3_0.87.3-2ubuntu3.debian.tar.xz
 67ea779cf8d5a9c53d5ee281bb0f614abd303bb755d5ddffc3b2985c3ff4422d 8291 why3_0.87.3-2ubuntu3_source.buildinfo
Files:
 b62529f54c744e576881c06d4605aff9 2706 math optional why3_0.87.3-2ubuntu3.dsc
 5e63d90c67f0956f997a8a8db3d55c91 12860 math optional why3_0.87.3-2ubuntu3.debian.tar.xz
 afec8d49c030a64089f0a32fd5c819aa 8291 math optional why3_0.87.3-2ubuntu3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJZwCjbAAoJEL1+qmB3j6b1RA0P/1BrtHgDRxepDXe1Wznr7Mna
EqfI/jnjDpGl4r8LDe/XqHaJ4lik14Ei+RuObjTo/Jfuu5Qmq14BJflkhfZs3L7J
o5e7Smzef3GzSTMUKCywuQkwmhghrKx7BZQUOpERzdFLlSKpsV0n8ah+HcGw3bLf
+U9S2LdkWZEHLRIL+LhvdRb6cqRsj6a8m3Wc0KGTJ4N1IhzGGmL97D/1RW5wn71F
yqCbFDgxPpp+gLRMvlNkwFBiyBdT1bnoVG/U3i/Qyk5O2stxhjZJCdH9aZhacsHY
dAv1s59//DCRqghj+6LnOTPtNCpuS0g+7bngiTiwRpz8+8ccC/aAqcHJXodqfdpX
nXGdkAZqxTrT/Rc6MoTN6zxOLs+YMcGrORqWj1sWDJaZ+zwAFIB9YWuRIxoqhbAV
C97v56zvupyUnKcri5X/Om2+P2xvFp1D788ZISMRX3lkHIMkyAVYHnYxMT+4uP8S
SRe+K/9jtWKu6MtmOWchz4Mx6oIfny9pu9YN2L5fGiz8R2jFxvLrKefUAv7rCwtm
gxbmsfK+yCitRv/AqPpamLVUWcI2vH+ihQWuSVNteDkfrYSXEcQhpSiUbfYVK1On
aLhTd14wRTac63hlhWLEhrRDmohrRQJfihOmxzuK7TK7I53ZjWKFk1t/w6HRGILv
13Zd5zRxeyVojRsYOMq/
=/286
-----END PGP SIGNATURE-----