Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

cube_score lsattr glances genuca arb_explicit_uniform_location-boundaries scrollkeeper-preinstall rootinfo wsl config-parser cdstop cowdancer-ilistdump servicemenuinstallation aligncopypair genparse sphdistance gnomint-cli jmeter-server nfc-mfultralight mono-find-provides mozplugger-linker olpc-brightness Sample-NiHandTracker popcon-largest-unused nova planetsplitter-slim service texluac ctext2pgm sigdigits outlookmsg2html