Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

alsactl named map-packages kgetcred arb_base_instance-baseinstance-doesnt-affect-gl-instance-id arb_vertex_type_10f_11f_11f_rev-api-errors PKCS10Client virt-install rpmrebuild fastcgi_server scsi-rescan ellcc batctl bchunk bibtexconv-odt trees2prolog ghostess_universal_gui hasktags ipescript lamd nathelper.pl mpgdemux mricron dh_parrot science-config cad3d atk6-flood_advertise6 SILACAnalyzer vde_plug yaret