Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

addwords condor_preen xpp_sync codeline_preprocessing.escript gajim-history-manager grib_get_data rtf2rtf microcode_ctl sgen ior-decode-2 dbrowaccumulate hiz-stencil-read-fbo-d0-s8 ar mipsel-linux-gnu-ld ceph_omapbench cdv-agent cvs2git cxref-cpp drbl-all-service eric5_pluginrepository freefoam-channel icingastats ocspclnt wks2csv mp3fs netread wsimport pluma uruk-save vtk6