Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

amgetconf m32r-linux-gnu-readelf corosync db2dvi antRun esdcat fbpanel msgen lefty lancelot krb5-auth-dialog-preferences curl-config mpirun restorecon wavpack amap cdfimprovechk debsums h2paspp-2.6.4 freefoam-buoyantBoussinesqSimple mount.fuse-ext2 gnunet-nat-server ovdb_init lamhalt silofile mimetex yuvinactive pgreplay flower refdbc