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 need
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 p
2 matches
Mail list logo
