/usr/share/menu/frama-c 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 | ?package(frama-c):needs="X11" section="Applications/Programming" \
title="Frama-C" command="/usr/bin/frama-c-gui" \
icon="/usr/share/pixmaps/frama-c.xpm"
|