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

[Dimitri John Ledkov]

why3 (0.87.3-2build2) artful; urgency=high

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 01:29:49 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 01:29:49 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2build2
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox 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-2build2) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 3634d00a781e3da6bf6a1ee65cdadf6c7d7bd599 2305 why3_0.87.3-2build2.dsc
 1c2578ffd7bb2ba441ad3007956565632976e134 12532 why3_0.87.3-2build2.debian.tar.xz
Checksums-Sha256:
 0b725e43f8e3688a0654d55b2c544b10c5eff83e1eaa0984094cce53e2e70462 2305 why3_0.87.3-2build2.dsc
 6b9382665dcb91117d01259497511ecc9d040e0ec110c6597d45160adef3b4c9 12532 why3_0.87.3-2build2.debian.tar.xz
Files:
 46ec2144a798a3006410d949f8949025 2305 math optional why3_0.87.3-2build2.dsc
 aeebda549b614cea3254852fec1dc0bb 12532 math optional why3_0.87.3-2build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZWZBDAAoJEMrC2LnNLKX5+WMIAMs4xcOV2geSgKWeqRfcfNxB
XXphd8QItnfdYVTz6oljLMSoy4jscmpn5hzjXzvRh9AD2eR1NNgEuhdrpEo4tFsq
R7i4RLb6qy1yEvsuVjWGEWYIZzmJYmFooIEb5P1V6zpKY2BwkXtC96HmEDVFaQY8
mXKU1x3LBHQNEdvxqnF3021IGODccRv46AXHR3PLl2RbZyy+v4s5Y0jxQWzjx4rV
WKW5b/J/nKLTaaYqpCtEm5WEUqVUoB8EN6xpHLnzDUI5kY7l9GcaQIP4pLfziK7P
eGQ+EQFKi1N82UUShC7u2ImBrxI/k0ZAwMDKwlJ4EjuFbV5agPSQA5CtV+zcpoE=
=JolJ
-----END PGP SIGNATURE-----