Bug#942344: marked as done (why3: does not work with current version of z3)
Your message dated Tue, 15 Oct 2019 19:51:13 +0000
with message-id <E1iKSqf-00058E-A6@fasolo.debian.org>
and subject line Bug#942344: fixed in why3 1.2.0-3
has caused the Debian Bug report #942344,
regarding why3: does not work with current version of z3
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
942344: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942344
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: why3
Severity: important
X-Debbugs-CC: pkg-llvm-team@lists.alioth.debian.org
Dear maintainer,
in share/provers-detection-data.conf (in the why3 source tree), only z3 versions
up to 4.8.4 are listed as "version_ok". But the 4.8.4 release of z3 was almost
two years ago and has since been superseded by two later releases, one of which
(4.8.6) is now finally available in Debian unstable.
However, its arrival has caused an autopkgtest regression for why3, which also
blocks z3 from migrating to testing (among other things that I will fix soon):
https://ci.debian.net/data/autopkgtest/testing/amd64/w/why3/3154338/log.gz
This seems to be caused by why3's version requirement on z3 <= 4.8.4 as
mentioned above.
Please either add a versioned dependency on z3 in debian/control, or add more
acceptable z3 versions to your prover detection system, or, ideally, rewrite
your prover detection system so that this failure won't happen again the next
time a new z3 release is packaged for Debian.
Best regards,
Fabian
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.2.0-3
We believe that the bug you reported is fixed in the latest version of
why3, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 942344@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 15 Oct 2019 20:42:34 +0200
Source: why3
Architecture: source
Version: 1.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 942344
Changes:
why3 (1.2.0-3) unstable; urgency=medium
.
* why3 1.2.0 supports z3 up to version 4.8.4 only (closes: #942344)
- add a version constraint to Recommends
- add a version constraint to the dependencies of test why3+z3
- flag test why3+z3 as skip-not-installable
* Standards-Version 4.4.1 (no change)
Checksums-Sha1:
aa49ca57e4ebe1026c9f28b44fb8b87a163ebe33 2634 why3_1.2.0-3.dsc
8b833a4ea9da93421187b638b993610cfd14cd7c 17784 why3_1.2.0-3.debian.tar.xz
4421d9395637ba47904ed3260ab045f39d0abb0c 15890 why3_1.2.0-3_source.buildinfo
Checksums-Sha256:
73fea5c049b521ac4884890148f33a4036ba06f78d184fb219afd3742f1bd785 2634 why3_1.2.0-3.dsc
5f0474ddd4cb5a71d9c818c20b46d8801105604c72d89f207cf253a6516aaafc 17784 why3_1.2.0-3.debian.tar.xz
4c8864917efe73b5b6fd6f8db8fec8e4703e82bb1a64c97c1a3927d315924881 15890 why3_1.2.0-3_source.buildinfo
Files:
8fb542d8b7f6524d47ecc420c538a051 2634 math optional why3_1.2.0-3.dsc
0c23c4240a4451faddf4001952be16fd 17784 math optional why3_1.2.0-3.debian.tar.xz
7760e675828746c547bd7ce0179a41e5 15890 math optional why3_1.2.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl2mHmcACgkQdFxHZtTK
zf8rkw//R2nYqppp9lqY174wO2e9XrKQcd/qqUfLzIMmf6nq9ma1vyGciDD6oLDp
3xEy1u2CuBn+hiLd5Nc5CxuzDqjQK59XB4ZxmPMt6kk8iwbg9nCk/8exrHOAUCd8
MkCosz0krY8HF7hS5pxP2+1WDLZD1reUzU3+dhwll/NUrYCnYkT1NTnUuecUMOwH
M5pgT1rpxCLd/EDFGeqbG9iu7yaQQwxPcmVTAuq2nrRHLFjFuViJqhIrLxHIHm/A
5ZUqKekt1EruZvUQ2y5aecKv/piVRu7b6RzVO8qcP99eRuci1uBv+w2us0X5vUS0
dTn5wEGgEUyccrTllXCACTyibIBWjXLSz4vXeky0+l3ZYRUr2JfG093iXb9HiriT
3Rhgfm1yWjawb2TdBpjfbvCa4dDH2IW+LnXvFvI2JvPf0wqcN8epMik2J+kWUHT0
xngZoPoDPkhBaTz9XmTaHIstWxDrQw5LG/s1QXCCs9ZKD2zBZBRKKIOFUCsb8QKq
nLZ8wEeK2P5aRRmmR65fngvxUrKGT+aiX2ZecSm2PqrBJWwuC3GKp4mjxfWVfARz
IxEJl5SnDJK6GQrjQqdOp27bKibO1yZZ9l6RyjwAMwmxhD1I8je1Ynht5xPzGSbL
jOP8fd9+tCSLTEz1YhcJFhTk1VCY6iamt9O7SPyhesg9miACmiQ=
=CxMP
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: