Bug#945886: creduce: build-depends on package that is not in testing.
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.
Reply to: