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

[Iain Lane]

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

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

why (2.34-4) unstable; urgency=medium

  [ Ralf Treinen ]
  * improve as-installed package tests

  [ Mehdi Dogguy ]
  * Fix FTBFS with OCaml 4.02.3 by:
    - not using Format.bprintf anymore
    - not turning warning 3 into an error
  * Port Why to ocamlgraph 1.8.6

Date: Wed, 04 Nov 2015 12:12:10 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.34-4ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 04 Nov 2015 12:12:10 +0000
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.34-4ubuntu1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
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-4ubuntu1) xenial; urgency=medium
 .
   * Rebase on Debian, remaining change:
     + debian/tests/control: Disable frama-c+jessie+alt-ergo test, since we
       don't have a jessie plugin currently (until we get 'why3')
 .
 why (2.34-4) unstable; urgency=medium
 .
   [ Ralf Treinen ]
   * improve as-installed package tests
 .
   [ Mehdi Dogguy ]
   * Fix FTBFS with OCaml 4.02.3 by:
     - not using Format.bprintf anymore
     - not turning warning 3 into an error
   * Port Why to ocamlgraph 1.8.6
Checksums-Sha1:
 4859164e6b40fa4bdf85d4efcf3eca42b98d2e9f 2377 why_2.34-4ubuntu1.dsc
 4c1218b32314015819d5d7e3a56b1c51aed16903 3725831 why_2.34.orig.tar.gz
 fcdafc4386abcb4fd5f84519ae4eba02b017290f 11404 why_2.34-4ubuntu1.debian.tar.xz
Checksums-Sha256:
 0868a2ccf4a3c555e0388125d9184bb14331fe42c7c5cdb3dcc8c1f21b224c9e 2377 why_2.34-4ubuntu1.dsc
 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
 2b55c3544c7ae93e9fd0bd52c0cba2688001907e33b12d22f901637ed3d8c68e 11404 why_2.34-4ubuntu1.debian.tar.xz
Files:
 c4da46ee15619f0289ffbd07597db59f 2377 math optional why_2.34-4ubuntu1.dsc
 1e729c4ecb41892531563d34208d3e52 3725831 math optional why_2.34.orig.tar.gz
 2813495b5c6a2b5683240d148b9b4627 11404 math optional why_2.34-4ubuntu1.debian.tar.xz

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

iQIcBAEBCgAGBQJWOkOjAAoJEONS1cUcUEHUYnUQALi15SJ6GdlIKJ7iPBIKE60Y
AW7bWuqKpHP3S0LTVV4mPSWKmMrth90YH7I77Q+DjvY6UAIjHVL4iOfA/BNjIoNV
2aDq5Iwe8Oq+Pd10v2O96IpXodbpMDYfdPMBkLXXkdGL6rkgrXFRsOIsHssQfXnP
hXcviHjAWPros11dTJ3Zss8+l+TOQcg+li69ypiE1sLQxufcNm8ETcnoq1L5Sjmh
5djTq19yjHxwYPYFxe3PiFC3Lbmu2V50PlZw+7a5Nb2wpwhJh/jLIeEfrg0FeK8O
FiZVWXnwEyPweVGGFPHqHz8ryOHkFPQ3zrSf7PgPoroHMBW9HqGOr4cHLceFashl
J3RyQQ2BZ+m4V7663iAXnERwiA60RX1Y/Dnx1/xuKRdnNtp/+CgXEZq7l4pdY3dd
uGZI7VTy7U+8bi2O5xloDwpkcHNDMRpiAyats+/gj8nl8ekLSFVjP4CfHBXCrWqb
DfmMYYg2LHoAjWrpmjVIjQR2taZ2znJr0XnBACzb3y49n1awhydS0WyKSPC8REbQ
NNeNQTP3fjaOOi00lah4SIh4BBqeGmOmcXcT77wv5fl9WpX20ieL8IeGV0eU3jxY
8NkQN7q21Ixz0n4i2Q8zpmGXZ5jGnqe3yfCenHF6qWnY2sTdOgUlDtge9qp1Scjr
BV6qQGh9O0O7oI47PNVa
=uHKg
-----END PGP SIGNATURE-----