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

[Iain Lane]

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

  * debian/tests/control: Disable frama-c+jessie+alt-ergo test, since we don't
    have a jessie plugin currently (until we get 'why3')

Date: Mon, 07 Sep 2015 13:44:09 +0100
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why/2.34-2ubuntu3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 07 Sep 2015 13:44:09 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.34-2ubuntu3
Distribution: wily
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-2ubuntu3) wily; urgency=medium
 .
   * debian/tests/control: Disable frama-c+jessie+alt-ergo test, since we don't
     have a jessie plugin currently (until we get 'why3')
Checksums-Sha1:
 56e75bd16d5e90ef7b768dd7fc03bb9cfcc64ffa 2456 why_2.34-2ubuntu3.dsc
 eb4bca4ab7de60667eaba43f74f6ae32b85b9a16 10780 why_2.34-2ubuntu3.debian.tar.xz
Checksums-Sha256:
 87cdc23b09fefb85458ab0fd38d78ed54af02a25c65c0e88d576c2877bb126dc 2456 why_2.34-2ubuntu3.dsc
 7a6ef8ea57f7a4cf9e9c51beb6eb50754b785289738333d6f029560fa4d78383 10780 why_2.34-2ubuntu3.debian.tar.xz
Files:
 1c92f9cbecd156f5ddd353c418e3a86a 2456 math optional why_2.34-2ubuntu3.dsc
 147185a657b9da9e3e44a36a48afa09f 10780 math optional why_2.34-2ubuntu3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCgAGBQJV7YppAAoJEONS1cUcUEHUUcYP/AnNratWz5QJhCEoIafxsKeM
nttt3caVf6pAamphch9+cXO5G0zrNKJhXuHg9YiAOdpkeCCaxEdO2qULFUy5h7NH
3VclQBLsDe16pxO/MtYhk/DBP8YOZ2QIrJK5OHzuWv+hyClbrDMd7EFSqVapI/B4
EOlMATWI0ijnoPIer+X7ABpfoPRZink+V2t5aykzjYytM6C6bFNeWLwY8Ya3y1zO
8VlKmTrzjXPvMhl3AVXmIrdws2yP+nW44rP2AFPxYj4xQ50EEHc0OU5XUrgcu6iK
CqdMcdcmyr4p5mS9gwUax5y7+EbRany7g4KOT2a6d11k0DaVjRep8v+evBs+5VU0
zAqnMEgP7upyzdHFP66A4qnJAYpEpJZKf5XNn0OEVccq2+29ENPpPq4Xgj4WpCXu
Pw2vVpdJoI7ExdOZtZKV1xT9J5hEljZBljMuHtbDb8T/BgJtJ6MLxxneI0Q6SEeX
Nt0/2TJvr8tKBOdAaFWnY1z1ULV/4hIMr5qb63k0Rn3Jim/RZCUU9W7DOk5kJRkB
jC+9D+5Ql69SoOWMYdSoG4C22aiY2JbPHSLvoXtKFIGwzXN/VTaUwYBNyUfmeYWV
6WCs+ONzPtTRG4kX/YeKBuSM7u1kBVjjeL9vXRZ8df8l9NvikJ+EELdncmK4sPum
7xitTXgqQWib+czXR9Hv
=gmlO
-----END PGP SIGNATURE-----