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

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

2018-10-16 Thread Matthias Klose
Package: src:frama-c Version: 20171101+sulfur+dfsg-1 Tags: sid buster Severity: serious 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