[Desktop Entry] Name=Frama-C GenericName=Frama C Exec=frama-c-gui Icon=gnome-gmush Terminal=false Type=Application Categories=Development; X-Desktop-File-Install-Version=0.18
[Desktop Entry] Name=Frama-C GenericName=Frama C Exec=frama-c-gui Icon=gnome-gmush Terminal=false Type=Application Categories=Development; X-Desktop-File-Install-Version=0.18