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.