Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

nm bzcmp test_cio git d.linegraph ibus-daemon kcstashtest tdpackdemo arb_get_program_binary-overrun prsync aws-rb usermount xmlsec1 apertium-rewxml l2test check_postgres_slony_status dbf2mysql ecaccess-gateway-connected eric5_tray econvert flam3-genome r.support.stats llogin njb-deltr dm-tool read_dicom avologin sitesummary-makewebreport svdir swfbbox