/usr/lib/ is in mcrl2 201202.0-2+b1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/mcrl2/
|
root:root | 0o755 | ||
/usr/lib/mcrl2/libsvc.so
|
application/x-sharedlib | root:root | 0o644 | 44.9 KB |
/usr/lib/mcrl2/libtr.so
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/mcrl2/libdparser.so
|
application/x-sharedlib | root:root | 0o644 | 59.5 KB |
/usr/lib/mcrl2/libmcrl2_aterm.so
|
application/x-sharedlib | root:root | 0o644 | 227.4 KB |
/usr/lib/mcrl2/libmcrl2_data.so
|
application/x-sharedlib | root:root | 0o644 | 1.7 MB |
/usr/lib/mcrl2/libmcrl2_utilities.so
|
application/x-sharedlib | root:root | 0o644 | 871.8 KB |
/usr/lib/mcrl2/libmcrl2_utilities_wx.so
|
application/x-sharedlib | root:root | 0o644 | 344.0 KB |
/usr/lib/mcrl2/libmcrl2_syntax.so
|
application/x-sharedlib | root:root | 0o644 | 521.0 KB |
/usr/lib/mcrl2/libmcrl2_core.so
|
application/x-sharedlib | root:root | 0o644 | 63.7 KB |
/usr/lib/mcrl2/libmcrl2_pbes.so
|
application/x-sharedlib | root:root | 0o644 | 2.0 MB |
/usr/lib/mcrl2/libmcrl2_process.so
|
application/x-sharedlib | root:root | 0o644 | 904.8 KB |
/usr/lib/mcrl2/libmcrl2_lps.so
|
application/x-sharedlib | root:root | 0o644 | 2.7 MB |
/usr/lib/mcrl2/libmcrl2_lts.so
|
application/x-sharedlib | root:root | 0o644 | 979.6 KB |
/usr/lib/mcrl2/libmcrl2_simulator_gui.so
|
application/x-sharedlib | root:root | 0o644 | 21.6 KB |
/usr/lib/mcrl2/plugins/
|
root:root | 0o755 | ||
/usr/lib/mcrl2/plugins/libxsim_trace_view.so
|
application/x-sharedlib | root:root | 0o644 | 66.6 KB |
/usr/lib/mcrl2/libmcrl2_pbespgsolve.so
|
application/x-sharedlib | root:root | 0o644 | 991.6 KB |