Control: tags -1 + wontfix
# The next frama-c release (in June) will get rid of old gtk dependencies, so the frama-c package will be updated and should be usable after that.
# Thus it would be better not to remove it from unstable, even if the current version of the package does not compile.
-- André Maroneze Researcher/Engineer CEA/List Software Safety and Security Laboratory
