-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 03 May 2022 08:00:48 +0200
Source: why3
Architecture: source
Version: 1.5.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.5.0-1) unstable; urgency=medium
.
* New upstream version.
* Refresh patch hardening-flags.
* Drop patch ocamlgraph-cma, issue has been fixed upstream.
* debian/rules: configure with option --disable-coq-libs, so that
we are sure that coq stuff is not build.
* Bump dependency on z3 to (<< 4.8.16).
* Simplify test why3+z3: drop preliminary testing of z3.
Checksums-Sha1:
76f3940dcd4e92613a37239ee49e321a3d24fb22 2662 why3_1.5.0-1.dsc
492289d5e975b48a5cf3949265e29358191ffe95 6723500 why3_1.5.0.orig.tar.gz
e43428e5e87b9649e211efe3959954d9001c2e74 18340 why3_1.5.0-1.debian.tar.xz
1a02921bd230f86c9850a5ded323901786a0acf5 14975 why3_1.5.0-1_source.buildinfo
Checksums-Sha256:
3bae20a77e195ae39f49f97b8bfd20452cb7c047fa5f07d00475fa6130f8034d 2662 why3_1.5.0-1.dsc
1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062 6723500 why3_1.5.0.orig.tar.gz
01676bd0eebf2b7808f316cc0ba61e2a373aba690de8db4a8127bc8cd512fa07 18340 why3_1.5.0-1.debian.tar.xz
60e642f621320d27ac605dd4851b70ebc4e322b3def3479af42dae27915f296f 14975 why3_1.5.0-1_source.buildinfo
Files:
579a67c9bfeefb847f4509e00dfa60f9 2662 math optional why3_1.5.0-1.dsc
fbe909444b17611ddcc8ce8b8288006b 6723500 math optional why3_1.5.0.orig.tar.gz
a6e6baa28613229571576d3ea1d9f1db 18340 math optional why3_1.5.0-1.debian.tar.xz
c4e61dc69379d06e0199ce63aa4fe2a8 14975 math optional why3_1.5.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmJw5PsACgkQdFxHZtTK
zf84Eg/9Hok9z4IFE+ryOyC7NOS2WioLSJpbs/oGHNKKTQGp7xAmbZu/BhvT2Nf6
8EALBA6CpXLjM2RKvvWrrhlct6KthkTNiwqTlKuEdhppemdkfvDy0Y5QU3DIPwRr
S2CoPXhgeaHsc8bnXABJCd27KNJ7XPtCpyHv+ZxMlqKBFBN1xtfz3njjAB4Ieqd3
53fjmaz74FEUzaqPOxLY5yuuZvkMlKoOfalr2l0SH8oXka8fymZWUlLH4shvWwMv
1Mf4hf6osX1VHWUoB+grlxLSNf9Dke8kdGQh8TOBq9pW+cUkIwTTYg7C0Hu1CWyl
cLnpMFB5mB1jX9bLYw8k9q/mNyyagFh2LchbKES4Mg526P1+0+Mv8b8Y3bc7tVF5
NXYpH6x3u7ah7oJMCv4512wJXcwodQSKFys7Ua1muV4HWry9vbx3C4bqe2ePYMTf
jtpGCHx7djF5VyyNi1+RECDmb90woBBjERzGGIF4N6NxOTCdQiwyzc61hLLD52nU
hfMIpUe9CB+AokJw2U3ANkaO9aNSVEfAEdaySea3+x+5h+PJ9Yy/Dcw6zBfV5P+j
oJCgbSnn1oYaCrICDloY2CykDKic1YQtxk5Kq5l6MIBkM5s/4bcbJC89x9qQUxFO
4lxR5C7jRt25KA+aDz2c1lPAgc2DYY0H4mJSKFfKqH/hq4mbgfQ=
=3kBL
-----END PGP SIGNATURE-----
