Frama-c-gui doesn't install on bytecode architecture (#1673) · Issues · pub / frama-c