/usr/lib/frama-c/plugins/ 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/lib/frama-c/plugins/gui/
|
root:root | 0o755 | ||
/usr/lib/frama-c/plugins/gui/Callgraph_gui.cmi
|
application/octet-stream | root:root | 0o644 | 200 bytes |
/usr/lib/frama-c/plugins/gui/Callgraph_gui.cmo
|
application/octet-stream | root:root | 0o644 | 41.8 KB |
/usr/lib/frama-c/plugins/gui/Callgraph_gui.cmxs
|
application/x-sharedlib | root:root | 0o644 | 29.3 KB |
/usr/lib/frama-c/plugins/gui/From.cmi
|
application/octet-stream | root:root | 0o644 | 182 bytes |
/usr/lib/frama-c/plugins/gui/From.cmo
|
application/octet-stream | root:root | 0o644 | 397.0 KB |
/usr/lib/frama-c/plugins/gui/From.cmxs
|
application/x-sharedlib | root:root | 0o644 | 156.2 KB |
/usr/lib/frama-c/plugins/gui/Metrics.cmi
|
application/octet-stream | root:root | 0o644 | 188 bytes |
/usr/lib/frama-c/plugins/gui/Metrics.cmo
|
application/octet-stream | root:root | 0o644 | 737.3 KB |
/usr/lib/frama-c/plugins/gui/Metrics.cmxs
|
application/x-sharedlib | root:root | 0o644 | 400.1 KB |
/usr/lib/frama-c/plugins/gui/Occurrence.cmi
|
application/octet-stream | root:root | 0o644 | 194 bytes |
/usr/lib/frama-c/plugins/gui/Occurrence.cmo
|
application/octet-stream | root:root | 0o644 | 180.9 KB |
/usr/lib/frama-c/plugins/gui/Occurrence.cmxs
|
application/x-sharedlib | root:root | 0o644 | 83.0 KB |
/usr/lib/frama-c/plugins/gui/Scope.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/gui/Scope.cmo
|
application/octet-stream | root:root | 0o644 | 365.5 KB |
/usr/lib/frama-c/plugins/gui/Scope.cmxs
|
application/x-sharedlib | root:root | 0o644 | 189.6 KB |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmi
|
application/octet-stream | root:root | 0o644 | 206 bytes |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmo
|
application/octet-stream | root:root | 0o644 | 98.3 KB |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 72.6 KB |
/usr/lib/frama-c/plugins/gui/Slicing.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/frama-c/plugins/gui/Slicing.cmo
|
application/octet-stream | root:root | 0o644 | 1.0 MB |
/usr/lib/frama-c/plugins/gui/Slicing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 619.0 KB |
/usr/lib/frama-c/plugins/gui/Value.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/gui/Value.cmo
|
application/octet-stream | root:root | 0o644 | 2.7 MB |
/usr/lib/frama-c/plugins/gui/Value.cmxs
|
application/x-sharedlib | root:root | 0o644 | 1.3 MB |
/usr/lib/frama-c/plugins/gui/Wp.cma
|
application/octet-stream | root:root | 0o644 | 7.0 MB |
/usr/lib/frama-c/plugins/gui/Wp.cmi
|
application/octet-stream | root:root | 0o644 | 178 bytes |
/usr/lib/frama-c/plugins/gui/Wp.cmxs
|
application/x-sharedlib | root:root | 0o644 | 4.0 MB |