Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

unarj chkfont v.drape preparetips nxproxy fp-abs-02 recursion lockfile turbo_lanczos.x trademgen traffic_logstats cdfmax check_postgres_pgagent_jobs cruft dictfmt_index2word gri-2.12.23 kwave regcompare.bin mia-2ddeform mrabs origami funccount pythoncad swindle proofserv.bin tioga xssstate syncevolution hyakubm gnudoit.xemacs21