[ubuntu/wily-proposed] why 2.34-2ubuntu2 (Accepted)

[Matthias Klose]

why (2.34-2ubuntu2) wily; urgency=medium

  * Rebuild for new OCaml ABIs.

Date: Wed, 02 Sep 2015 11:57:29 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why/2.34-2ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 02 Sep 2015 11:57:29 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.34-2ubuntu2
Distribution: wily
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes:
 why (2.34-2ubuntu2) wily; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 7c27f3d943d1d90688dc8c8f224f563d92a25968 2456 why_2.34-2ubuntu2.dsc
 6fff38cef7981f526d0abb4ce3624375b490d9a9 10700 why_2.34-2ubuntu2.debian.tar.xz
Checksums-Sha256:
 90f504c086ce8a192fad11b6cafd98864cd4a8efffff2750879cd4d0ad68ed22 2456 why_2.34-2ubuntu2.dsc
 bc0e191907204dc36877e0d3da6fbf07696295d378dfd066efe224991268762b 10700 why_2.34-2ubuntu2.debian.tar.xz
Files:
 50a7b6fff3e68567a6c4e5595ffdc58d 2456 math optional why_2.34-2ubuntu2.dsc
 e1ba52c9c25b881f215a8ae4dad1efcf 10700 math optional why_2.34-2ubuntu2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJV5slsAAoJEL1+qmB3j6b1CJIQAI3uvCcNyQE8TbsRJUOxOoF+
7N3oSg3pcv5evK/g/CuZou7O/r4M/ni87BrZTgrw77/nARe8EbgJUqaGYOxMdKZT
grFmvQpTGhSKglQ+7QlQlh5y8LUPj6/qfoNhIbsJMBliIyIQDujj0unO8TEx9Gqj
vY5ywza5yVBAxTttjvGlDbt6abAiTbGcIEqKjEfn+ABsdvCSAm/luWYDfvNHqFsu
6xzftPolC+M66ZTTlAzM7iGeZxEkC5+D81qFuSwpZFdUCEQoxFbMx7wGVfvon9CJ
fL95KDc3kVQA4wApfsa+/QbuVuoEZgkSggx0Qh8f7j0bliaaZBh/gzwrKf99J/qz
Ti0GTxsW1Wu1fZX88Mx1e1AEo2hBlv/BRxsZtJqyH2Rb3q+KDPGLKWzJmRy0TDxm
3TxF+j86t//Bs9TV3eKQyAY8jVEXr9wXJ1xnp0MlL7mxrAntyU6PbMzrbhudwKMA
zpnt2nk3Zq2M9xt68KfDmTBat3sAfTpM2N4OqDIxgsqTMiYnMm1zJSkFyX2seU9Q
oTvoRI7uEeZuX/UB4NunISrZMdg/gcWM484oJoknimY6H0BFCa81WC4KwJawf0M5
RypcbntY5509/NkrQgykCLNCnGvHH3ZeMfGdhk99/icB/ynfWvz0utQKHEnfxsOI
N5yQ/CpOPQMWG/66BF88
=VTAC
-----END PGP SIGNATURE-----