Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

aserver ar era_restore euscale-delete-tags newaliases.exim cc pnminterp ntpstat nytprofmerge kronolith-import-squirrelmail-calendar arb_texture_multisample-sample-mask-execution qodem wbemcli fortran_count startxfce4 pplot wesside-ng simg2img backintime-askpass bscrypto cdfsum cdfwflx toms nhmmscan qsexec rmf ossim-mosaic sml sb_filter tkabber-remote