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.