Package: why3 Severity: important X-Debbugs-CC: pkg-llvm-t...@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
