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

[Stéphane Glondu <glondu@debian.org>]

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