[ubuntu/focal-proposed] why3 1.2.1-1ubuntu1 (Accepted)

[Gianfranco Costamagna]

why3 (1.2.1-1ubuntu1) focal; urgency=low

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

why3 (1.2.1-1) unstable; urgency=medium

  * New upstream version.
  * Drop patch lablgtk3-beta6 which is now applied by upstream.
  * Bumped dependency on z3 to << 4.8.7 (d/control and d/tests/control)

Date: Thu, 31 Oct 2019 10:16:10 +0100
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.1-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 31 Oct 2019 10:16:10 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.1-1ubuntu1
Distribution: focal
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.1-1ubuntu1) focal; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el, as it hangs indefinitely.
 .
 why3 (1.2.1-1) unstable; urgency=medium
 .
   * New upstream version.
   * Drop patch lablgtk3-beta6 which is now applied by upstream.
   * Bumped dependency on z3 to << 4.8.7 (d/control and d/tests/control)
Checksums-Sha1:
 ff3315cad27d2c333d8f1b809c9b1ecf27f91ac8 2662 why3_1.2.1-1ubuntu1.dsc
 0e1d0300ba5dfb56cc6ee52a1354d4e4e18657c4 6006383 why3_1.2.1.orig.tar.gz
 e64bcb7d5626b3e0633230f48381942cfc8a80ce 17564 why3_1.2.1-1ubuntu1.debian.tar.xz
 5bc7809806516dcdd65d7e84eff76470468bb12e 14299 why3_1.2.1-1ubuntu1_source.buildinfo
Checksums-Sha256:
 f35578a0d966b2c1fc00554fa296a054b353b1b1c5869a8fbb65e7ddd0d8c085 2662 why3_1.2.1-1ubuntu1.dsc
 8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04 6006383 why3_1.2.1.orig.tar.gz
 1b8b4e073c2c4b076f5d997e1212b7483f0bfc7b6622e7a1feee1b34fcf6e2c2 17564 why3_1.2.1-1ubuntu1.debian.tar.xz
 8dec07f37b7d4d9dfb06f95aa05f1cc4ec9fa2e2e7051bfcfa1912862ca355c0 14299 why3_1.2.1-1ubuntu1_source.buildinfo
Files:
 7c17a8a17d3558b4e1461aeb5c1a01ce 2662 math optional why3_1.2.1-1ubuntu1.dsc
 0ba29f2d7084f7171d50271c77304cdf 6006383 math optional why3_1.2.1.orig.tar.gz
 98abf05123e53a4be85ab2f1f16170b6 17564 math optional why3_1.2.1-1ubuntu1.debian.tar.xz
 cfd1e7e0a66dc9acb539067e0ebcbb42 14299 math optional why3_1.2.1-1ubuntu1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl26pmYACgkQ808JdE6f
XdkTiQ/+OaxNgrRJZCKhbQgTCaeMm1iHoHg4LbkGjTk6UJpToeDOapR+K4fD1zTF
IEZU4D0Ovt4eKt3Dseza2IEHQw5OwaD5VaBe/4bUmKkB5ByPigxK+7fjSNHhQabI
/+rRimd0YZTJqvUm+VvGrzkyZb2nf5v19CgHjIMMLP5yD+durtj5AAzw1/5oyOdC
37LVbghVmIUbcaSsXBOtrCOWYR492fcSipj3CkDvx8iAPsEmkSVzIpvQqIaRXSwf
N5UKBMJAQExkp+H2iJ7mpoJBUcDjTsT5XrhWiq/lO1MjQzktYp26u+GNHeToycZ8
0NAfKmjyZuHHRG1zYBZZ+hGKu7kT2uxlUuFRnAhgIfLV5cnMWXcN/FvGr0+Xj/GJ
VDYKQAtri+IpnbK3eimkM3cnCq9ivOFL6PVRrzJ4Zq3v1yigxyTGpoBTmsILcwBO
Pw77b9OxDzJDFJ4+jPorbpYeQOuUDZMx48uJk5VAJxxqz3cUky5SqQLRrOJqzucb
C+QZqzv1hLocSPtPfXTSnzvJuU6HHhFIQLUpbkkqN1kc1SOgCDljOvnQuuLFgidQ
ne6XnLlUirzdYO2z8GGmYX6LAMyIHD8vrAdmY6nhx5jl3oYcnLR/1e2InQUIbofJ
btVoqcFf0q8IdpN40DiMoqZyavGyH0lN8vy1/WAY2BoBYeXHU7M=
=EpVd
-----END PGP SIGNATURE-----