[ubuntu/utopic-proposed] why 2.34-2ubuntu1 (Accepted)

[Iain Lane]

why (2.34-2ubuntu1) utopic; urgency=medium

  * debian/tests/c/minimum.c: Workaround test brokenness by avoiding the
    ternary operator.

Date: Fri, 15 Aug 2014 10:47:51 +0100
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/utopic/+source/why/2.34-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 15 Aug 2014 10:47:51 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.34-2ubuntu1
Distribution: utopic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes:
 why (2.34-2ubuntu1) utopic; urgency=medium
 .
   * debian/tests/c/minimum.c: Workaround test brokenness by avoiding the
     ternary operator.
Checksums-Sha1:
 b54c5a38dd879f278b91d8b20bddd2e3fb88abfb 2456 why_2.34-2ubuntu1.dsc
 331a1707ce0344951c9da054adca2f1a2c06ce15 10672 why_2.34-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 652f32b0fa1f69bddc43cff7e7e779855443c97fb9ee3b25328ed62096f260cc 2456 why_2.34-2ubuntu1.dsc
 5572adf2c0cd28388a89bd283422f235c9ab0026da473bdb0969debdd89d9c30 10672 why_2.34-2ubuntu1.debian.tar.xz
Files:
 4d6842140b49d5e5aabd20aee18cddf7 2456 math optional why_2.34-2ubuntu1.dsc
 28525bcff76d5733382f7d7c7a105a75 10672 math optional why_2.34-2ubuntu1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCgAGBQJT7djhAAoJEONS1cUcUEHUjikQAKx7D9hLb/wfEfZBa1aE7sRV
hL2Rw2dmR/ptBIeBHtZ2mPje9vT2zTq4tWLbcFYZEIeoF2KCFS35A1w9iSwXKoQu
kVUuMt1NDCR6NeE9Z539CGVcAFShFinyPgWGc77F9h5911Ccy5Dw4Tn4v57Ib91z
q8J+xGMywxCJUB9OpwYGxOckfQZMX15q7eItgQwWsX7atLUsqRU9UfCsjGpp/Sd8
bkBV4DAvJU73XUxVACUJia2vWPt5Ju0BLyiu4ifiDPk4MdM2zjpScQQ8CfFZg5TT
aIdESlD/GZS85vjMuEQfJbUBHVvcxe7L+s9bu2DVB5SNbzP/71/OUjZAPIj8iiud
X4altbtNdq23g6sXNHacmjkMy7f0TSezogCpwaCuhsLJfFbz+vU2VozQTpMuw7tu
B8XdGe/reGkP7lH7krFjRUgl/B8UTFYh6LkfzFC1or7GCDL6rxEeEE0P2IuFoJ44
GqLOz/3yz6U1JqEfnnvK2E6W/G6un/YyVB/A8nL1yK0b+NRUrbgVdmHIo5aBuN+O
Mo8ab6LXKvZN2a90GC3RSG7JBTcJiLcjpl0q1BUkVQgHRz75AUAufpYHa6WcSbL/
UB4ovzI4tr0D6MwL315mK9JlDbqk4gjW6mm9GfOsPatWXuX/LMHCX3YCjUQIgVFP
YBpaBjY8bBK08tu4PX2a
=JQEP
-----END PGP SIGNATURE-----