Source: frama-c
Version: 20140301+neon+dfsg-3
Severity: wishlist
According to the INSTALL document in the frama-c source distribution,
the GTK GUI and the associated dependencies are optional.
However, in Debian both the frama-c and the frama-c-base package
depend on the liblablgtk* packages.
Please provide a version of the frama-c package without the GTK GUI,
and without its associated dependencies.