Bug#942344: why3: does not work with current version of z3

[Fabian Wolff]

Package: why3
Severity: important
X-Debbugs-CC: pkg-llvm-team at 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