[ubuntu/eoan-proposed] why3 1.2.0-2ubuntu1 (Accepted)

[Gianfranco Costamagna]

why3 (1.2.0-2ubuntu1) eoan; urgency=medium

  * Merge from Debian unstable.  Remaining changes:
    - Skip why3+z3 test on ppc64el, as it hangs indefinitely.

why3 (1.2.0-2) unstable; urgency=medium

  * debian/rules: add build target
  * Standards-Version 4.4.0 (no change)
  * Patch lablgtk3-beta6: Port to version beta6 of lablgtk3. Patch picked
    from upstream git. This fixes an issue with why3 not detecting
    lablgtk3-sourceview and hence not building the graphical interface.

Date: Fri, 30 Aug 2019 08:27:50 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.2.0-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 30 Aug 2019 08:27:50 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-2ubuntu1
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
 why3       - Software verification platform
 why3-coq   - Coq support for the why3 verification platform
 why3-doc-html - HTML Documentation of the why3 verification platform
 why3-doc-pdf - PDF Documentation of the why3 verification platform
 why3-examples - Examples for the why3 verification platform
Changes:
 why3 (1.2.0-2ubuntu1) eoan; urgency=medium
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el, as it hangs indefinitely.
 .
 why3 (1.2.0-2) unstable; urgency=medium
 .
   * debian/rules: add build target
   * Standards-Version 4.4.0 (no change)
   * Patch lablgtk3-beta6: Port to version beta6 of lablgtk3. Patch picked
     from upstream git. This fixes an issue with why3 not detecting
     lablgtk3-sourceview and hence not building the graphical interface.
Checksums-Sha1:
 7ee1786cb721f3edb1f56abdf954b2623d705018 2662 why3_1.2.0-2ubuntu1.dsc
 ac2be311179af5acdd1af28af5532633a021430b 18548 why3_1.2.0-2ubuntu1.debian.tar.xz
 9dedc9815562823a01b2c95a23591c42f576d584 14227 why3_1.2.0-2ubuntu1_source.buildinfo
Checksums-Sha256:
 e27476f4c28ecf78ae1a1b3c5423b8fac01da46506bb2aa2ba63690b1b1b2fa1 2662 why3_1.2.0-2ubuntu1.dsc
 5a8c4c600c1a75c6aa20eca086f1fcf8b9b103016b9e86b41c69196d1e61c305 18548 why3_1.2.0-2ubuntu1.debian.tar.xz
 e7a237ab9ad9b04dab6c82423616cda71ad42f5cdaa8a7522ec586fe7f085fa9 14227 why3_1.2.0-2ubuntu1_source.buildinfo
Files:
 bb40dd311758558b93b9420e25aec618 2662 math optional why3_1.2.0-2ubuntu1.dsc
 1f1911dde0aefc761d54d90124cb1853 18548 math optional why3_1.2.0-2ubuntu1.debian.tar.xz
 24e2514620b8851d29f204f296b79a22 14227 math optional why3_1.2.0-2ubuntu1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1owfwACgkQ808JdE6f
XdnghhAA0IHpGDMRKzF9SyvqzXdJBDzF0YtJygRSRW2qep7Up2Q5OUf8xWHOjLbX
AbtLXGXZqW1bM9g6Kanxlnd7m3IysYaNjsCXx0YXRFdMfUV0qIDkWzm6sDBvvMC2
P4wlFAXzmXDBU1CiViuvFvHpSM/9TtFnATjDKZ1gIV2QN4S1wOXjuzfB9RHlcqMY
CharbGEw4KrhDI+64Uu0sj2CJ5UUEamp2SLRHlHhcVBe8yhGVr7V0Mh7EhSj1ibQ
udKqKnoSCLpbNpYOi0flBDct50KKWaiEz6JlzUDaZUDlAO7prFfj+XJgKkoPFokC
ms08LGwGVMd21/HFRzlY4dT2LZvQ9YICnKAUHWdPaPQ19csBZdwfvkkQeuMxEMOK
x+Mur5hh1ZLoifL+C8t92ygDfsRKmeXwvvBSOO73YT+DdnVtPRaNkVDjylmA5COk
W08Ud7H8v5PcMkX26eAbdr2jheM1s2qZsSJWSTsQt0pveZd2nszJRP6w0WS8nEaA
kvV2By+ddP5cz8QAs2PGcb5UvLZ3FE0Y/L2ZDsfiCBpE/X4QdKkQE8PrNC+FV+x0
ueBZkFovO/kCTiOoNXd2WPHHrDEW49EkmbO8lDzwDlPlOf5JTePSB3HieAiQ0VvB
WfimUDkXz4KK4oo6fWvyu5ZJbvlvE8bzkmO5pjCv7l+/aAvabrY=
=wU8B
-----END PGP SIGNATURE-----