[ubuntu/zesty-proposed] why 2.36-3build1 (Accepted)

[Gianfranco Costamagna]

why (2.36-3build1) zesty; urgency=medium

  * Rebuild against new OCaml ABI.

Date: Wed, 21 Dec 2016 20:55:02 +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/why/2.36-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Dec 2016 20:55:02 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-3build1
Distribution: zesty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.36-3build1) zesty; urgency=medium
 .
   * Rebuild against new OCaml ABI.
Checksums-Sha1:
 428882662c6c7cd0bc2dced80377edb7a7cbf797 2245 why_2.36-3build1.dsc
 2b488d6c0a7ad140b351dfa7f880b2e2eef681eb 11564 why_2.36-3build1.debian.tar.xz
Checksums-Sha256:
 424104d528ef3e31452489f1c9ce897dad949f8a8a91b3a587cbf44ff4f16586 2245 why_2.36-3build1.dsc
 f1c6bed98021f66f75e5e61699638befed51b4d37ae4ff871780bee5643f9006 11564 why_2.36-3build1.debian.tar.xz
Files:
 69f2178efb6f33be726311a0c2deb0a2 2245 math optional why_2.36-3build1.dsc
 6b46d0e9fae2eabd64e535ebb2309a34 11564 math optional why_2.36-3build1.debian.tar.xz

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

iQIcBAEBCAAGBQJYWt4XAAoJEPNPCXROn13Zq5AP/RpfmQf6siIOr7hFTl6UD9vx
OKLFo1hZ5psqgPIf2nX777gqjMNjDzhpauABM48sg37YJN9kM7jnVyVIATiyc8dg
UCZx7ilVHO0rZDlzu7xJ7sTovGiXhG91ywHYJI67nEI56jIuSr0qFAm3CJSZiAJ+
KlefFMaImry2wSJ77cBcpUqW2i8n3YMFZEfOsFu+3LEtqv1nx7uvz6OILFAVr/68
80aHJetOj6nr0IXTOZKvZ2nY/xx1Vq4PNYYrLKktrdT4N69lank7KVVrUwKYRyqk
bt1MNshhs7jn/hMWM6g0zXXy3OXNQbECG5W8LbJwHngQFYmA6x8bmrYeifhlfawO
d+perN9C+wzAlmosnDZPMcG67zPxbk45dEZGS+A9FjrYjXBBpJXs5NQjg9QfCMaK
YHjd8gzz7ngYWLDJrrReMlE9j89jMxLl7estl8LmtlujYW1si+uG/L93r6uo+AfJ
P8m8mttz700LuYBCmNsTN6EM8hPQM8SCRNneAerlILteia8ankhOOgAylmjDBMCJ
8LcFUBhOFPPRPTIMqTfbmnFUd3WjbhB/N9jqRrLl2PIl5K6D9Z54s4u8PBjQAEJ+
jmjLLDUt0qFXctU5uCLYWJN90TTOHUPvTDPo76IyY84XBg6ITUrQXqWMpW0sMM3D
RsEY84oWpZrD9ctTnWl3
=9/dQ
-----END PGP SIGNATURE-----