-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 22 Jan 2025 21:27:21 +0100
Source: why3
Architecture: source
Version: 1.8.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.8.0-1) unstable; urgency=medium
.
* New upstream release.
* Stop building the documentation packages:
- debian/control: disable why3-doc-* packages
- debian/rules: disable override_dh_auto_build-arch
- debian-rules: disable Build-Depends-Indep
* Create a symlink from /usr/lib/ocaml/why3 to the why3 library in order
to work around a bug in why3, which does not properly take into account
the --libdir option to ./configure.
* Dependency and Test-Dependency on provers:
- bump z3 to version << 4.14
- add cvc5 << 1.3
* Add an as-installed test with cvc5
Checksums-Sha1:
4694144903fc94f02533b8246f33faf6fed2c0df 2351 why3_1.8.0-1.dsc
991eb730b6a62d76e547b4f3deb3550f80054107 6637327 why3_1.8.0.orig.tar.bz2
f8f76f13c33a2d472a86f7c2b83c21d19a49b378 18808 why3_1.8.0-1.debian.tar.xz
ce724bf6bcf52e1a6b0f4c65a0cfee57c573920e 16321 why3_1.8.0-1_source.buildinfo
Checksums-Sha256:
75a65cf5a44f81bd149600b38ce5670c29de92e9918c39dc2e55e45b4e6399f0 2351 why3_1.8.0-1.dsc
5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
d80afe19fdd44ae0992a09b4d47669fea395ba54a382c56cc9300ad480c5fac2 18808 why3_1.8.0-1.debian.tar.xz
a9d8b5368ffa14382bdee9526189b3e44e9d583207cbe4e7c07cec5eeeae9236 16321 why3_1.8.0-1_source.buildinfo
Files:
e18d4d18ae3163938f84d89ef7a5ff5c 2351 math optional why3_1.8.0-1.dsc
d5c98e52d55fd6341b19d2e225c779c4 6637327 math optional why3_1.8.0.orig.tar.bz2
57190da7b8904accefe64d2933f5b2df 18808 math optional why3_1.8.0-1.debian.tar.xz
750e4df9c5f58913a4e86471e43d43f4 16321 math optional why3_1.8.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmeRWe4ACgkQdFxHZtTK
zf9ipA//aQ2ddjqKI5n1epEr3LQRkgFSWC8DGpIMRoMsy0z0V/RjZHfVN6p5V8w1
AlUIo3sppbyEUxzHo6iqxuhBvaGv8AD7KdMy44tuUWtKRSDwB5yQuVObF0nS2jVA
NQo/B2q6iAO9xQl/1An4/1L0lmvqjgxGgBPYcZDh8W3A3cj/twuRZ/xmywMFgDCt
pEcD+IkjghBOI22WEbZnZDfsyjNsVduHVHBrQbsol5bFMgcusdNpzMD6JEXF2Clb
IoP6Yrr/cv8niFvdWq5GwcZJiL6yugyryd+ME1B3x4N+FYRiwfSmTdyv50h9XOFJ
udqlpP95Y+qX2BCGKyTlKzC94R8RltdpSbcvtpo8rIJXVq/3V/XFFHGVOSNemTDZ
nSTJMuN/MBIpU6opSulHvEiuP7y2FabzmTUePJ6W56BbxGH5kmDhO3dChXmbTja8
8YWmdCFfg3fHJ5Muo89KQKDeEy8ybxYXyFkViUTuVcsAPM3MHAhT1odx+mySwQ2c
uVzE8WHxgq6lgoRzc0WTrfD8lWoxFt8OechBsg6Vd32GFdntsidIVBzK1Mu5kTJb
9rOosJrm7drNZVncHAs8XG50danmNIzo9OKuKQuEUR2X+YIDMt/B2Gbq20cboX/0
Kindo7Y96zeG9sVqQFpNW5kFAU5o++09Y2sau5iBzwYmEZ/3upc=
=PKfl
-----END PGP SIGNATURE-----
