This file is indexed.

/usr/bin/ is in mcrl2 201409.0-1ubuntu3.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/bin/lpsparunfold application/x-sharedlib root:root 0o755 1.0 MB
/usr/bin/lpspp application/x-sharedlib root:root 0o755 114.2 KB
/usr/bin/lpsrewr application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/lpssim application/x-sharedlib root:root 0o755 1.0 MB
/usr/bin/lpssumelm application/x-sharedlib root:root 0o755 102.2 KB
/usr/bin/lpssuminst application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/lpsuntime application/x-sharedlib root:root 0o755 102.2 KB
/usr/bin/lpsxsim application/x-sharedlib root:root 0o755 1.2 MB
/usr/bin/lts2lps application/x-sharedlib root:root 0o755 606.2 KB
/usr/bin/lts2pbes application/x-sharedlib root:root 0o755 738.2 KB
/usr/bin/ltscompare application/x-sharedlib root:root 0o755 486.2 KB
/usr/bin/ltsconvert application/x-sharedlib root:root 0o755 978.2 KB
/usr/bin/ltsgraph application/x-sharedlib root:root 0o755 370.3 KB
/usr/bin/ltsinfo application/x-sharedlib root:root 0o755 138.2 KB
/usr/bin/ltsview application/x-sharedlib root:root 0o755 830.7 KB
/usr/bin/mcrl2-gui application/x-sharedlib root:root 0o755 446.2 KB
/usr/bin/mcrl22lps application/x-sharedlib root:root 0o755 522.2 KB
/usr/bin/besinfo application/x-sharedlib root:root 0o755 458.2 KB
/usr/bin/bespp application/x-sharedlib root:root 0o755 458.2 KB
/usr/bin/diagraphica application/x-sharedlib root:root 0o755 1.4 MB
/usr/bin/lps2lts application/x-sharedlib root:root 0o755 606.2 KB
/usr/bin/lps2pbes application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/lps2torx application/x-sharedlib root:root 0o755 550.2 KB
/usr/bin/lpsactionrename application/x-sharedlib root:root 0o755 706.2 KB
/usr/bin/lpsbinary application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/lpsconfcheck application/x-sharedlib root:root 0o755 578.2 KB
/usr/bin/lpsconstelm application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/lpsinfo application/x-sharedlib root:root 0o755 102.2 KB
/usr/bin/lpsinvelm application/x-sharedlib root:root 0o755 130.2 KB
/usr/bin/lpsparelm application/x-sharedlib root:root 0o755 102.2 KB
/usr/bin/mcrl2compilerewriter text/x-shellscript root:root 0o755 1.6 KB
/usr/bin/mcrl2i application/x-sharedlib root:root 0o755 1.2 MB
/usr/bin/mcrl2xi application/x-sharedlib root:root 0o755 1.3 MB
/usr/bin/pbes2bes application/x-sharedlib root:root 0o755 1.3 MB
/usr/bin/pbes2bool application/x-sharedlib root:root 0o755 1.3 MB
/usr/bin/pbesconstelm application/x-sharedlib root:root 0o755 142.2 KB
/usr/bin/pbesinfo application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/pbesparelm application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/pbespgsolve application/x-sharedlib root:root 0o755 494.2 KB
/usr/bin/pbespp application/x-sharedlib root:root 0o755 122.2 KB
/usr/bin/pbesrewr application/x-sharedlib root:root 0o755 142.2 KB
/usr/bin/tracepp application/x-sharedlib root:root 0o755 254.2 KB
/usr/bin/txt2lps application/x-sharedlib root:root 0o755 102.2 KB
/usr/bin/txt2pbes application/x-sharedlib root:root 0o755 118.2 KB