Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

ceph-osd gnome-sound-recorder g_grompp_d gutenprint-foomaticppdupdate jack_iodelay mpivars exportfs ola_plugin_info max-clip-distances rpmdev-setuptree cobol_count tmserver vamp-simple-host aexml uiautomatorviewer bamz bowtie-buildc csv2latex ifinfo geotranz hime-gb-toggle vcstime svm-easy wiki-toolkit-setupdb fastacmd nccnav filter_templates pyspread srtp_driver xgc