Mark Rader 830c7f1
[Desktop Entry]
Mark Rader 830c7f1
Name=Frama-C
Mark Rader 830c7f1
GenericName=Frama C
Jerry James 9afafea
Comment=Framework for analysis of C source code
Mark Rader 830c7f1
Exec=frama-c-gui
Jerry James b8205e3
Icon=frama-c
Mark Rader 830c7f1
Terminal=false
Mark Rader 830c7f1
Type=Application
Mark Rader 830c7f1
Categories=Development;
Mark Rader 830c7f1