Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

cpanspec makedumpfile cgclassify mysqldiff ftpshut futurize qdbuscpp2xml-qt5 lrelease rpws scorep-config ldactoasc count_unknown_ext soxi tnef ootags apache2 c2faxsend dphys-config-filesys.gz hide_reveal_pxe_img acdtrace eperl count mia-2dcost pegasus-analyzer led_hdd_test python3-dbg vdb-dump.2.3.5 tcrtest vserver-stat libxl-save-helper