Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

dosfslabel gif2h5 libwinpthread-1.dll combine operf ns_to_db clearbuffer-stencil tpm_setpresence media-ctl adnsheloex aevol_misc_ancstats m68hc12-readelf brltty pdf2dcm epam freefoam-foamToVTK fsousaged db.execute langident vpbscan mclcm mia-2dfuzzysegment keyd udebug dh_python-ply filter_fasta.py gl.pl po2ical tsung_percentile.pl mkexamplesheet.sh