[ubuntu/artful-proposed] why 2.38-1build1 (Accepted)

[Gianfranco Costamagna]

why (2.38-1build1) artful; urgency=medium

  * Rebuild against new ocaml ABIs.

Date: Mon, 05 Jun 2017 09:50:21 +0200
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.38-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Jun 2017 09:50:21 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.38-1build1
Distribution: artful
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.38-1build1) artful; urgency=medium
 .
   * Rebuild against new ocaml ABIs.
Checksums-Sha1:
 c72a0d3e2d59fe0d70e6e62b508f5a88955fd28c 2409 why_2.38-1build1.dsc
 49b1530186f374d83d75db75697942115085b6bb 11700 why_2.38-1build1.debian.tar.xz
Checksums-Sha256:
 49033e1e949d430cb86e81f91a92e543bdf7bfb6f8c7f11e18d5aa5b6104116a 2409 why_2.38-1build1.dsc
 93e048c7d3748cba23412e594cf1029d5caede429d1d662cf7f44be20f144b42 11700 why_2.38-1build1.debian.tar.xz
Files:
 8305b08164191279175e46bf8dba103e 2409 math optional why_2.38-1build1.dsc
 5e892aca77bb9230153feb153e49a66f 11700 math optional why_2.38-1build1.debian.tar.xz

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

iQIcBAEBCAAGBQJZNQ1BAAoJEPNPCXROn13ZhEUP/jJlvDEYbBC+QQuIzh15Eu4E
B6I3r4wEZd6fbbX1GXph6ZlGoUlxAI8YspANX0w2On05UYHZnWmH2CC52Yz3X3F+
AFmL5T9E38sVvwxtBzaIc2hTdzkWiziyssZ9Y+Gd4cGfbzdd9l952vDuY3s9TeTG
7QYBtRj3Ko4xP1pUm7k35/+0Ia0VAP3fhNEE8LbuUGcwQw4EeIR09ImiouMxPWcX
79wCo2PpXhWkQ5KD+/VG9frEEFWHJAY1SRzKytyWCouynHdL8a8HST2JC0vMCUt0
xRWbqCL1iWONQMJqyp3z82jx/gX8sZfVKgWdV4/IEHlbIucB9OQtShlyeDm6W71H
SsHVDLM5WFfMMbzIJfzzIbZ4L+ntxZAyYA6Jc11q4F5pkj4kNoh8ERXGwPyMCjzy
U06+YT927HFzQZNen1UK8rJv0aJkLz37+CKvqjYRWpYQzrzxFmIkS2byhSy7dVPa
axbowyDKmcyZAYfcODRbJ4fUy/LGVOXohd8qm7RbPNeBY2EmeetEqhPa17BGbkJy
TnrK9N3v9TfHK4OJv/y2HjLfxlpdhUGfHmQD2w1jIwxxVYvH82Rj8JdqPN5sTeSV
8tXD7fhtORaqozx5+7hWqo5yWszz9YB5ILOrYeCYWMSObJjyS7S4brsyq0NwPxdM
gICQ17mky3zTvl9VR8X9
=5dTV
-----END PGP SIGNATURE-----