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