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

[Gianfranco Costamagna]

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

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

why3 (1.2.1-2) unstable; urgency=medium

  * patch hardening-flags: use hardening flags when compiling the
    why3 server.

Date: Mon, 04 Nov 2019 07:27:17 +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-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 04 Nov 2019 07:27:17 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.1-2ubuntu1
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-2ubuntu1) focal; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el, as it hangs indefinitely.
 .
 why3 (1.2.1-2) unstable; urgency=medium
 .
   * patch hardening-flags: use hardening flags when compiling the
     why3 server.
Checksums-Sha1:
 2a9d9f86a95f71561bf57aa1b1a405b2b0a786b3 2662 why3_1.2.1-2ubuntu1.dsc
 7e99f3c628d930e5a4c9d47f044668c71a824ac0 17968 why3_1.2.1-2ubuntu1.debian.tar.xz
 342ea9d76e29cd89569d6896cfefac57788e709d 14299 why3_1.2.1-2ubuntu1_source.buildinfo
Checksums-Sha256:
 69abbcef433d9bb0e3d5dfd491675c796b377253a1d697a9f4f0eb13b0b959bf 2662 why3_1.2.1-2ubuntu1.dsc
 fc86c210cb67de16162f158c5c6c978246abefd0941a2cbec977493566dcf261 17968 why3_1.2.1-2ubuntu1.debian.tar.xz
 19bfa159782155166e33f40a3b5adb8a3f041510b7e21a7d540c31ab7b1b95e1 14299 why3_1.2.1-2ubuntu1_source.buildinfo
Files:
 98c407fe4a6d9ecd587b8a22ea53216c 2662 math optional why3_1.2.1-2ubuntu1.dsc
 23bb7b3a81d8a16aa3057d1560d0f6fc 17968 math optional why3_1.2.1-2ubuntu1.debian.tar.xz
 ec73a99d3bc656cfa123149fc13c3b64 14299 math optional why3_1.2.1-2ubuntu1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl2/xOMACgkQ808JdE6f
XdmRNRAAp2Gfxshy12x60xdqgFcBeq/SYib1PZ/kct5goDJSYMbRgvwa7Fwc95vv
QXXoxKhzALmW76MpRwJ0P8jFylwGR5UGrvl8zYASwuHxRzC8eQlwG9y3YY+1BP1I
uUKFs8qm2IrFx/nnPPxDg6vr9oQBKnhzsuinAk042kc70ECZR2B6cVA6JgHJC0jl
9mfMnVgS5Uw2MsJD6uY2J+Fie2K505Ad0zeYIgASFQiFO7EtUFs3sCMTbCWdEz0Z
QVZ8dxqr2XSxsI9IdS+gQ+g3ySRYc7FmAE1cqCe2LyUbdZEc7bTh73lNj8WK4GrJ
o6j9zdCN/qMnL1cO0/zJKWMWGc7ruIdQQBr9M28ikpuajQCRWy/EgF0vo44CquUl
jEX3wngwbZPTuxPsF4BwDtra2HLmNjCaBBsIZ6QmzQq3HL4oJn3fy24Y+2zRoq6a
/SRjVD/6DK25RBYqzaf439Z9BOkZsAXSeNZ1s7eVpVob13kJzNAJO/Vm+fk+Ruvv
dzLd8rxSSzb2yRgSCo8TtOOzftZllCEvoZTvnc6XpGjCuOniGcAKv2Vdlw2kWLd3
5hnWNr4FYBQbmz44B/HPixkXRbX4CVDNl0XQzBMgXSYdXyUPV7e7UXMtSpoHLlPW
FslgEhQNL2Y8FSo8+6XGHq2MJLYZSZSlalEDjL5S/CjXBg133Ec=
=o8Fz
-----END PGP SIGNATURE-----