Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

aarch64-linux-gnu-objcopy avr32-linux-gnu-c++filt ls lp.cups README g_luck kioslave mergelogs pilot-install-netsync pilot-install-todos tkstool fd_ifc.x_mpich odf2xliff jsc-1 bus cqa-rb e2lpr glam2 gnunet-unindex kbd-layout-viewer pam_tally maqindex amd64-mingw32msvc-readelf pev treesize srm.pvm events.py nib-nifti-dx alt_getopt FeatureFinderIsotopeWavelet