Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks?

Hi Paul, On Wed, Dec 21, 2022 at 09:16:32PM +0100, Paul Gevers wrote: > Control: reassign -1 frama-c > > Dear maintainers, > > On Tue, 8 Nov 2022 21:53:18 +0100 Paul Gevers wrote: > > [kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module > >Details: implementation

Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks?

Control: reassign -1 frama-c Dear maintainers, On Tue, 8 Nov 2022 21:53:18 +0100 Paul Gevers wrote: [kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module Details: implementation mismatch on Why3 [kernel] User Error: Deferred error message was emitted during execution.

Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks?

Source: why3 Control: found -1 why3/1.5.1-1 Severity: serious Tags: sid bookworm User: debian...@lists.debian.org Usertags: breaks Dear maintainer(s), With a recent upload of why3 the autopkgtest of frama-c fails in testing when that autopkgtest is run with the binary packages of why3 from