Source: why3 Version: 0.88.3-3 Severity: minor User: debian...@lists.debian.org Usertags: issue
Dear OCaml maintainers, Looking through the list of packages that have their autopkgtest pass on unstable but fail on testing, I noticed that one of your tests depends on cvc3, which currently isn't available in testing. cvc3 isn't in testing due to a nearly year old bug 873975 which has a proposed solution. Could you either help the maintainer to get cvc3 back into testing, or otherwise drop your test that depends on it? In the current autopkgtest setup, the package will be installed from unstable, but that happens in a fall back I'd like to avoid because everything that is newer in unstable is then allowed to be updated, causing less than ideal testing and spurious failures. Testing only with testing currently fails, as it can't find cvc3. This means that when a reference for migration is created, the baseline set to FAIL and every next package that is tested against why3 will be allowed to regress (albeit any PASS will set the baseline to PASS, so this is "only" an issue for the first package after the reference is set). Thanks for considering. Paul
signature.asc
Description: OpenPGP digital signature