[ubuntu/zesty-proposed] why 2.36-5build2 (Accepted)

[Bhavani Shankar]

why (2.36-5build2) zesty; urgency=medium

  * Try rebuild again against latest OCaml.

Date: Thu, 02 Feb 2017 11:34:20 +0530
Changed-By: Bhavani Shankar <bhavi at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.36-5build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 02 Feb 2017 11:34:20 +0530
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-5build2
Distribution: zesty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Bhavani Shankar <bhavi at ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.36-5build2) zesty; urgency=medium
 .
   * Try rebuild again against latest OCaml.
Checksums-Sha1:
 7a2cef914d3f0d6bcce9396e1c870e526e42b6ed 1897 why_2.36-5build2.dsc
 49a729bc1253e7bbc7dbf500f0d3ca20b04ec614 11740 why_2.36-5build2.debian.tar.xz
Checksums-Sha256:
 4f3d72555fe644bf2477f3cd5db5715c51ed4bb8201fc39ebee2604e6f44ee41 1897 why_2.36-5build2.dsc
 25f627dc3ddd1a63353cfd3a7077c869c502f3c4f3e274e5690a7cdf29f57e81 11740 why_2.36-5build2.debian.tar.xz
Files:
 fe0b84748eb55365ff17a8ba6402864b 1897 math optional why_2.36-5build2.dsc
 c8c3223602b25a1298945544b46c23a4 11740 math optional why_2.36-5build2.debian.tar.xz

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

iQEcBAEBAgAGBQJYks10AAoJEMJAPQz8ZpqT/5sIANd2JPVIUTsQ3YOWRmnkDk/q
esqK8IrQ4bkYkgUMkAvWM7FXY35oN+2ZicnMbrGJdI3pV9cITFT9gAvOntI24FPS
XuZabS3f43atvUnZt/1VVY2O1f7w6VO+jqwjXK8QIELGnu5nZWZRnrx8i+Dpdmzn
8uNt71ZHWSltOuYLqnpRt57P7JhPMiIC3He8KP2cYA54rGaq1WunXPnEJ8rpdS7B
ZGCqp2BAVeemttKlPYoWQqTxOC9YCY1gs9h3reRfIucTzQtJCWrmxr2p+5AnXEJA
kzc1QAwB5bKjcMXW/juH2fshZSYJTRSwvGo9LAMUDvZQ6kIn3QraYP3STSO7EK8=
=uK4e
-----END PGP SIGNATURE-----