Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

airtsp-config aoe-revalidate isi2xml ctow cif2cbf gnatls groffer g_dipoles_d lfc-mkdir mcrypt mhonarc fstopgm snmp-bridge-mib camlp4orf mimesend qpid-cluster-store txt-stat mpto db_sql dh_bugfiles which-pkg-broke gri-2.12.23 esponja hugs klines.kss ftl_check dsmcc-receive sleepenh idngram_merge EICExtractor