On 30.11.19 16:17, peter green wrote: > Package: creduce > Version: 2.10.0-2 > Severity: serious > > creduce build-depends on frama-c-base which is built by the frama-c source > package which is not currently in testing. > > Either frama-c needs to be fixed to get it back in testing, creduce needs to > eliminate the dependency (no idea if this is possible, i'm just looking at > dependency issues in debian, i don't know anything about the details of this > package) or creduce needs to leave testing too.
that would be pretty bad. but maybe such is life.