Binary: frama-c-gui

Debian packages that has this binary:

Package: frama-c

/usr/bin/frama-c-gui

Random binary cloud:

fusion_stream erlc ps2pdf r.random g_bundle zipcmp hydra_persist hydra_pmi_proxy curvecpmessage ralsh pdf_callbacks arm-linux-gnueabihf-ld caja-connect-server dh_installlogcheck antenv.cmd freefoam-financial fwanalog galaxd gccgo x86_64-linux-gnu-gcj-4.9 pto2mk kxc-add-key lltag nbibtex netenv oligotm qalc censuslookup callpass xmlformat