Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

abrt-handle-upload aconnect monmaptool euare-accountdelpolicy euare-servercertlistbypath r.in.xyz mingw32-pkg-config pcl_ndt2d ext_transform_feedback-intervening-read x86info run-mozilla.sh ypserv_test berkeley-abc dpkg-repack whichdb bssStreamingApp h5pfc.openmpi parl tmx-tokenize chktri mpp mgpnet getrich jay napping cbcodec task_manager.pl racy IsobaricAnalyzer inputkill