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

[Dimitri John Ledkov]

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

  * Rebuild due to changed ocaml abis.

Date: Mon, 10 Jul 2017 18:00:11 +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-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 10 Jul 2017 18:00:11 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2build3
Distribution: artful
Urgency: medium
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-2build3) artful; urgency=medium
 .
   * Rebuild due to changed ocaml abis.
Checksums-Sha1:
 0d7f95f7ec1fe9d4cb11c21e6c8b888373977333 2305 why3_0.87.3-2build3.dsc
 bbb21a6e812762a4c31316e39b7fba25696a3836 12568 why3_0.87.3-2build3.debian.tar.xz
Checksums-Sha256:
 672753ccb7f8fe991ac44306be7cf756310c57e99c7b023d6c8ffc9b68f513d1 2305 why3_0.87.3-2build3.dsc
 d1671e416b6d31a726026841e0e4f70768e3d447e506dafea95ade0702f73a89 12568 why3_0.87.3-2build3.debian.tar.xz
Files:
 364b4b634f5c106a881d5e991321d88e 2305 math optional why3_0.87.3-2build3.dsc
 a8e6b1df4c58e154a1a0067389cfd32d 12568 math optional why3_0.87.3-2build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZY7KlAAoJEMrC2LnNLKX5/xQIAKH3pEvlMtjqj2ICgvXZyaMs
9iCdc2+s63cOCPfdkWFrl7usYrOniITJmQvgzLSKTZX9sGBsxXGU1qlkwPg/GC88
l/34ymb94U8cSGJ49q1LU0w3nMb68Cru5tFVvZmvC52pWuyz1Odoj/bPRM5XZiiZ
PN9dZQGePxRxH2FIfuPu9rGZJpwzNAWl9XxrVnaGDoaJVgcOjBV8iFOEmem1gnJC
hLNTL3Q7SsA9k5HEaugUhrswJlAm0gmC2xlb+WrCCE/Yt9zncTPBaQS/6CFL3jTT
ehML76kG8a8DRNZsoC3/KzBW1sH40fLXVYGBOv82BvZ5YQ99iAFjdNZr+IM6QSo=
=8id/
-----END PGP SIGNATURE-----