[ubuntu/xenial-proposed] why 2.34-4ubuntu3 (Accepted)

[Matthias Klose]

why (2.34-4ubuntu3) xenial; urgency=medium

  * Drop build dependency on libfloat-coq, not buildable with the
    the current coq.
  * why still fails to build, so drop the the libwhy-coq binary
    and coq build dependency.

Date: Tue, 23 Feb 2016 15:36:48 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.34-4ubuntu3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 23 Feb 2016 15:36:48 +0100
Source: why
Binary: why why-examples
Architecture: source
Version: 2.34-4ubuntu3
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes:
 why (2.34-4ubuntu3) xenial; urgency=medium
 .
   * Drop build dependency on libfloat-coq, not buildable with the
     the current coq.
   * why still fails to build, so drop the the libwhy-coq binary
     and coq build dependency.
Checksums-Sha1:
 5818a0dfdf088154cb720599426a1673867cb46a 2293 why_2.34-4ubuntu3.dsc
 195d1d2dd7a132a51b223c43f1e9c66ccdef8274 11376 why_2.34-4ubuntu3.debian.tar.xz
Checksums-Sha256:
 b8d7d82f2e60b9c3b01e9b5511df50a377349d32d19e37d4e1a17ecbd3b94b70 2293 why_2.34-4ubuntu3.dsc
 116b850889f67eb4944b4041d7e0b6c85982382080cc2b3f17a905ab07c4835c 11376 why_2.34-4ubuntu3.debian.tar.xz
Files:
 d8c04bd4053c9ce73869405d672ad4da 2293 math optional why_2.34-4ubuntu3.dsc
 e1bf47bac5fd684e7b5ee7e370e32156 11376 math optional why_2.34-4ubuntu3.debian.tar.xz

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

iQIcBAEBCAAGBQJWzHaEAAoJEL1+qmB3j6b1cpcQAKbITT7RehaLXVM7jMR3VttM
onGdyZytZb7+hlqCNW1wCysVU9/NHyl3Ag6+UJwl23fC9TxpTtClyyjcjIwEksZQ
Z+gDvFyCO/rHPW9bNTuiBnVB9SSvBd0unT1JNKAUfHQT695U3io/8pirkzDo2Oxj
msBYNceYy+V/h6SfNYYQiipoe1KCq2b0wyGfeyTiTSi80J9UIw6uVSYTOEAYOlew
5MHLLVVv6XNlwcmvFJfSmbDrlXn0ZkMoNdSFVjQqNosBXxvMNNfrZ2zSFhIL5zoW
POrFqyoI7MhQO2DdMkiEu8ID8RLbm8LdqW3xdfwSN8FdY5QS8KFR9pYp1Vvjsz+p
1jW2ep7aikLXv+a+2U6td6V+kiBA2NqBUTutHAbagjW3cX+tFiMQYO33s2Gjl4mK
vk2ZxV+b4KTa/2fqKHoSMzE/jg2qauY8c+CLcaNoE3NQtUb8nx9hqFA8gcxRIdNP
bW3L08e+EpqmQXE3fA6++U81TC9FJ61IXIT3+vvNClQnlEaLtQ1z6wGaD/L3RZKe
uVVN9bhtYanlbGDTxpL9DJzcC9RMV/B/4X2ReOmvEPiXRQyzLubvJn7XLxTVnOYV
uPgLc4FVgdlJlLI3453DUP1FbOn3/hvfE0tcBXlMimmfixqAtILLN0EMS9+nqwch
avhdKxe3VfALGU09SxIL
=9fHR
-----END PGP SIGNATURE-----