Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

gnotravex genhostid imgcmp openoffice.org rmlist zone2sql wicked fbo-attachments-blit-scaled-linear lcp_readpol buffy cdfmxlsaltc cdir c_type1.o grdhisteq las2las ortec++ oodoc_test halt gcat pkgos-gen-systemd-unit parole service gld PRICE rdfs2dot lrelease qrls vrfy wwwerrs shelltool