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