Bug#945886: creduce: build-depends on package that is not in testing.

2019-11-30 Thread Matthias Klose
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

Bug#945886: creduce: build-depends on package that is not in testing.

2019-11-30 Thread peter green
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