/usr/lib/ is in mcrl2 201409.0-1ubuntu3.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/lib/mcrl2/libmcrl2_process.so
|
application/x-sharedlib | root:root | 0o644 | 1.0 MB |
/usr/lib/mcrl2/libmcrl2_core.so
|
application/x-sharedlib | root:root | 0o644 | 385.8 KB |
/usr/lib/mcrl2/libmcrl2_data.so
|
application/x-sharedlib | root:root | 0o644 | 1.9 MB |
/usr/lib/mcrl2/libmcrl2_syntax.so
|
application/x-sharedlib | root:root | 0o644 | 446.5 KB |
/usr/lib/mcrl2/libmcrl2_fsm_syntax.so
|
application/x-sharedlib | root:root | 0o644 | 43.4 KB |
/usr/lib/mcrl2/libmcrl2_pbespgsolve.so
|
application/x-sharedlib | root:root | 0o644 | 1.2 MB |
/usr/lib/mcrl2/
|
root:root | 0o755 | ||
/usr/lib/mcrl2/libmcrl2_atermpp.so
|
application/x-sharedlib | root:root | 0o644 | 139.1 KB |
/usr/lib/mcrl2/libmcrl2_bes.so
|
application/x-sharedlib | root:root | 0o644 | 284.8 KB |
/usr/lib/mcrl2/libmcrl2_lps.so
|
application/x-sharedlib | root:root | 0o644 | 2.8 MB |
/usr/lib/mcrl2/libmcrl2_lts.so
|
application/x-sharedlib | root:root | 0o644 | 1.2 MB |
/usr/lib/mcrl2/libmcrl2_modal_formula.so
|
application/x-sharedlib | root:root | 0o644 | 1.3 MB |
/usr/lib/mcrl2/libmcrl2_pbes.so
|
application/x-sharedlib | root:root | 0o644 | 3.2 MB |
/usr/lib/mcrl2/libmcrl2_utilities.so
|
application/x-sharedlib | root:root | 0o644 | 768.8 KB |
/usr/lib/mcrl2/libmcrl2_utilities_qt.so
|
application/x-sharedlib | root:root | 0o644 | 99.4 KB |
/usr/lib/mcrl2/libsvc.so
|
application/x-sharedlib | root:root | 0o644 | 71.0 KB |
/usr/lib/mcrl2/libtr.so
|
application/x-sharedlib | root:root | 0o644 | 10.1 KB |