[Desktop Entry] Name=Frama-C GenericName=Frama C Exec=frama-c-gui Icon=frama-c Terminal=false Type=Application Categories=Development;