/usr/share/ is in frama-c 20151002+magnesium+dfsg-1build1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/pixmaps/
|
root:root | 0o755 | ||
/usr/share/pixmaps/frama-c.xpm
|
image/x-xpmi | root:root | 0o644 | 3.7 KB |
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/frama-c.desktop
|
text/plain | root:root | 0o644 | 230 bytes |
/usr/share/menu/
|
root:root | 0o755 | ||
/usr/share/menu/frama-c
|
text/plain | root:root | 0o644 | 156 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c/copyright
|
text/plain | root:root | 0o644 | 35.5 KB |
/usr/share/doc/frama-c/README.Debian
|
text/plain | root:root | 0o644 | 660 bytes |
/usr/share/doc/frama-c/TODO.Debian
|
text/x-diff | root:root | 0o644 | 2.0 KB |
/usr/share/icons/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/scalable/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/scalable/apps/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/scalable/apps/frama-c.svg
|
image/svg+xml | root:root | 0o644 | 2.7 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c/changelog.Debian.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/frama-c-gui.1.gz
|
root:root | 0o777 |