/usr/share/frama-c/theme/ is in frama-c-base 20151002+magnesium+dfsg-1build1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/frama-c/theme/colorblind/
|
root:root | 0o755 | ||
/usr/share/frama-c/theme/colorblind/considered_valid.png
|
image/png | root:root | 0o644 | 132 bytes |
/usr/share/frama-c/theme/colorblind/inconsistent.png
|
image/png | root:root | 0o644 | 84 bytes |
/usr/share/frama-c/theme/colorblind/invalid_but_dead.png
|
image/png | root:root | 0o644 | 128 bytes |
/usr/share/frama-c/theme/colorblind/invalid_under_hyp.png
|
image/png | root:root | 0o644 | 121 bytes |
/usr/share/frama-c/theme/colorblind/never_tried.png
|
image/png | root:root | 0o644 | 92 bytes |
/usr/share/frama-c/theme/colorblind/surely_invalid.png
|
image/png | root:root | 0o644 | 127 bytes |
/usr/share/frama-c/theme/colorblind/surely_valid.png
|
image/png | root:root | 0o644 | 125 bytes |
/usr/share/frama-c/theme/colorblind/switch-off.png
|
image/png | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/theme/colorblind/switch-on.png
|
image/png | root:root | 0o644 | 3.2 KB |
/usr/share/frama-c/theme/colorblind/unknown.png
|
image/png | root:root | 0o644 | 125 bytes |
/usr/share/frama-c/theme/colorblind/unknown_but_dead.png
|
image/png | root:root | 0o644 | 128 bytes |
/usr/share/frama-c/theme/colorblind/valid_but_dead.png
|
image/png | root:root | 0o644 | 131 bytes |
/usr/share/frama-c/theme/colorblind/valid_under_hyp.png
|
image/png | root:root | 0o644 | 127 bytes |
/usr/share/frama-c/theme/default/
|
root:root | 0o755 | ||
/usr/share/frama-c/theme/default/considered_valid.png
|
image/png | root:root | 0o644 | 718 bytes |
/usr/share/frama-c/theme/default/inconsistent.png
|
image/png | root:root | 0o644 | 1.2 KB |
/usr/share/frama-c/theme/default/invalid_but_dead.png
|
image/png | root:root | 0o644 | 686 bytes |
/usr/share/frama-c/theme/default/invalid_under_hyp.png
|
image/png | root:root | 0o644 | 714 bytes |
/usr/share/frama-c/theme/default/never_tried.png
|
image/png | root:root | 0o644 | 634 bytes |
/usr/share/frama-c/theme/default/surely_invalid.png
|
image/png | root:root | 0o644 | 651 bytes |
/usr/share/frama-c/theme/default/surely_valid.png
|
image/png | root:root | 0o644 | 681 bytes |
/usr/share/frama-c/theme/default/switch-off.png
|
image/png | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/theme/default/switch-on.png
|
image/png | root:root | 0o644 | 3.2 KB |
/usr/share/frama-c/theme/default/unknown.png
|
image/png | root:root | 0o644 | 700 bytes |
/usr/share/frama-c/theme/default/unknown_but_dead.png
|
image/png | root:root | 0o644 | 699 bytes |
/usr/share/frama-c/theme/default/valid_but_dead.png
|
image/png | root:root | 0o644 | 696 bytes |
/usr/share/frama-c/theme/default/valid_under_hyp.png
|
image/png | root:root | 0o644 | 753 bytes |