Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

complete-ant-cmd.pl ggz-config g.ask sgepasswd qsh jstar oggz-chop LC_MESSAGES pdfrevert ts_print xvile aide-attributes connectomeviewer dump_commit_requests ttlayout cvsu debci-list-dependencies profile-manager dracut flowscan h8300-hms-gcc uhd_siggen_gui xpcshell pimsettingexporter go2xml dbsessmgr2 functrace ceilometer txt2tab transset