Processed: Re: Bug#911159: please stop building the frama-c GUI
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 contact me if you need assistance.
--
911159: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911159
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
Bug#911159: please stop building the frama-c GUI
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 would be removed >> otherwise as well. > > this is no longer relevant as #885677 is fixed now. -Ralf. Actually, it still is since frama-c build-depends on liblablgtksourceview2-ocaml-dev, which has been removed as part of the fix to #885677. Cheers, -- Stéphane
Bug#911159: please stop building the frama-c GUI
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 creduce would be removed otherwise as well.
