/usr/share/applications/frama-c.desktop is in frama-c 20151002+magnesium+dfsg-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | [Desktop Entry]
Name=Frama-C
Comment=Framework for source code analysis of software written in C
Exec=frama-c-gui
Type=Application
Categories=Development;ComputerScience;IDE;GTK;
OnlyShowIn=Development
Terminal=false
Icon=frama-c
|