[ubuntu/zesty-proposed] why3 0.87.2-2build1 (Accepted)

[Gianfranco Costamagna]

why3 (0.87.2-2build1) zesty; urgency=medium

  * Rebuild against new OCaml ABI.

Date: Wed, 21 Dec 2016 20:35:01 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/0.87.2-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Dec 2016 20:35:01 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.2-2build1
Distribution: zesty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
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.2-2build1) zesty; urgency=medium
 .
   * Rebuild against new OCaml ABI.
Checksums-Sha1:
 073a1c497bcb867b2cd134cec243a47d8af15070 2572 why3_0.87.2-2build1.dsc
 02d340ed418a57ce31f2d51b15002fb8a7fdef2a 11416 why3_0.87.2-2build1.debian.tar.xz
Checksums-Sha256:
 42ee53a34c8a33d371f799fb5f06b3af4d0aa4255d76bd0e4d1e8b12dbb3bd75 2572 why3_0.87.2-2build1.dsc
 5e307160fcc0094d0dbc0231d59535d523641e7660e421db84b57a82e02f9948 11416 why3_0.87.2-2build1.debian.tar.xz
Files:
 c442fc617d23543b044b2c56089eb76e 2572 math optional why3_0.87.2-2build1.dsc
 acfe916cb31df6b9752a695f2a14a9d3 11416 math optional why3_0.87.2-2build1.debian.tar.xz

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

iQIcBAEBCAAGBQJYWtlmAAoJEPNPCXROn13ZZuMP/3eXL04fG/m/umN+Bv4+cypA
OxvyrZL21ywFEPlJWiDb7FjOSa3lTmRD/RuwLnqZ6cRb05AR2/9Y8LAfFR0XlIzC
u4u4Dnfa54p/9A0bX/JhElNWj76HDn5Nx5Sn+b1En78I4mF/uqr7EVS8XGeZUzJH
7dLdG3VkSkcxRtTrN2nUJYP4+r6HQp1A/U65k5ZmlvWvujDlg7BFtM3lLykYvjPg
6noKteq6roZ2d6XKzAJWC2pd8Ru5jMemxd9TEfTaRgt2cSeOIYmob0vMTP0xYwox
9CdXC7xGLiWBpW0yu3F5Vtgrg+eU4VQnBF/PLbBt1uqcl1ZPcY5TyCBrnH7uADAX
OVsVynEG8iK7T2oucHtp1CFUtiwzp2ahsj/iSqJ4BU/tq0I23js1dpZtGBQD0NH6
2eOs4M8nHyjG1Ari47UST3oj6E5I2NFptSu57bJb+Py5GqQ/wjwSrQyuxIT9k1Tp
9x0BFh62zizOxPixU8uPmhCnXFG3uSP7wvZAa/E++DlAC9aeqYMZ/qBlrqQs6T9H
LFZOYMoJHzfxyQMFlAf0yspaL/XVwoBM4b4KkqwWRZ42tPPMtarGldsJqNqcTf59
RJrPnmFEVrgLu3ycZ4+7MR/GQHNMg6rsDarXCTJ2sYCuCcDR9ENMNHW2og+MC/w/
AhpFRtRYZ1gWEHjEQGvM
=TgVj
-----END PGP SIGNATURE-----