Processed: limit source to opam, tagging 910222

2018-10-18 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > limit source opam Limiting to bugs with field 'source' containing at least one of 'opam' Limit currently set to 'source':'opam' > tags 910222 + pending Bug #910222 [opam] opam: copyright file missing after upgrade (policy 12.5) Added tag(s)

Processed: Re: Bug#911159: please stop building the frama-c GUI

2018-10-18 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reopen 911159 Bug #911159 {Done: Ralf Treinen } [src:frama-c] please stop building the frama-c GUI Bug reopened Ignoring request to alter fixed versions of bug #911159 to the same values previously set > thanks Stopping processing here. Please

Bug#911159: please stop building the frama-c GUI

2018-10-18 Thread Stéphane Glondu
reopen 911159 thanks Le 17/10/2018 à 21:11, Ralf Treinen a écrit : >> Bug #885677 filed for lablgtk2 asks for the removal of that package. To >> prevent >> removing frama-c from the distro, please consider just building the base >> package, dropping the GUI package. Asking because creduce