/usr/bin/ is in mcrl2 201107.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/bin/diagraphica
|
application/x-executable | root:root | 0o755 | 1.4 MB |
/usr/bin/mcrl22lps
|
application/x-executable | root:root | 0o755 | 691.3 KB |
/usr/bin/tracepp
|
application/x-executable | root:root | 0o755 | 119.2 KB |
/usr/bin/lpsrewr
|
application/x-executable | root:root | 0o755 | 631.2 KB |
/usr/bin/pbesconstelm
|
application/x-executable | root:root | 0o755 | 927.3 KB |
/usr/bin/lpsinfo
|
application/x-executable | root:root | 0o755 | 183.0 KB |
/usr/bin/pbesrewr
|
application/x-executable | root:root | 0o755 | 851.3 KB |
/usr/bin/mcrl2i
|
application/x-executable | root:root | 0o755 | 739.5 KB |
/usr/bin/lps2pbes
|
application/x-executable | root:root | 0o755 | 1.0 MB |
/usr/bin/txt2lps
|
application/x-executable | root:root | 0o755 | 691.2 KB |
/usr/bin/lpsinvelm
|
application/x-executable | root:root | 0o755 | 643.4 KB |
/usr/bin/ltsinfo
|
application/x-executable | root:root | 0o755 | 191.1 KB |
/usr/bin/ltscompare
|
application/x-executable | root:root | 0o755 | 663.5 KB |
/usr/bin/lps2lts
|
application/x-executable | root:root | 0o755 | 215.3 KB |
/usr/bin/lpsparelm
|
application/x-executable | root:root | 0o755 | 195.1 KB |
/usr/bin/formulacheck
|
application/x-executable | root:root | 0o755 | 791.6 KB |
/usr/bin/txt2pbes
|
application/x-executable | root:root | 0o755 | 627.3 KB |
/usr/bin/pbesparelm
|
application/x-executable | root:root | 0o755 | 279.2 KB |
/usr/bin/pbes2bool
|
application/x-executable | root:root | 0o755 | 891.5 KB |
/usr/bin/lysa2mcrl2
|
application/x-executable | root:root | 0o755 | 555.6 KB |
/usr/bin/lpssumelm
|
application/x-executable | root:root | 0o755 | 251.2 KB |
/usr/bin/lpssim
|
application/x-executable | root:root | 0o755 | 151.3 KB |
/usr/bin/lts2pbes
|
application/x-executable | root:root | 0o755 | 1.1 MB |
/usr/bin/tbf2lps
|
application/x-executable | root:root | 0o755 | 167.3 KB |
/usr/bin/ltsgraph
|
application/x-executable | root:root | 0o755 | 519.9 KB |
/usr/bin/lpspp
|
application/x-executable | root:root | 0o755 | 167.2 KB |
/usr/bin/lts2lps
|
application/x-executable | root:root | 0o755 | 779.5 KB |
/usr/bin/lps2torx
|
application/x-executable | root:root | 0o755 | 159.1 KB |
/usr/bin/lpsconstelm
|
application/x-executable | root:root | 0o755 | 695.3 KB |
/usr/bin/mcrl2xi
|
application/x-executable | root:root | 0o755 | 1.1 MB |
/usr/bin/bespp
|
application/x-executable | root:root | 0o755 | 119.1 KB |
/usr/bin/lpsuntime
|
application/x-executable | root:root | 0o755 | 235.1 KB |
/usr/bin/lpsbinary
|
application/x-executable | root:root | 0o755 | 703.3 KB |
/usr/bin/pbesinfo
|
application/x-executable | root:root | 0o755 | 659.1 KB |
/usr/bin/pbespgsolve
|
application/x-executable | root:root | 0o755 | 947.4 KB |
/usr/bin/lpsactionrename
|
application/x-executable | root:root | 0o755 | 811.4 KB |
/usr/bin/lpsconfcheck
|
application/x-executable | root:root | 0o755 | 647.4 KB |
/usr/bin/lpssuminst
|
application/x-executable | root:root | 0o755 | 687.4 KB |
/usr/bin/ltsconvert
|
application/x-executable | root:root | 0o755 | 1.1 MB |
/usr/bin/pbes2bes
|
application/x-executable | root:root | 0o755 | 923.6 KB |
/usr/bin/chi2mcrl2
|
application/x-executable | root:root | 0o755 | 535.4 KB |
/usr/bin/pbespp
|
application/x-executable | root:root | 0o755 | 207.2 KB |
/usr/bin/mcrl2compilerewriter
|
text/x-shellscript | root:root | 0o755 | 1.3 KB |
/usr/bin/grapemcrl2
|
application/x-executable | root:root | 0o755 | 1.4 MB |
/usr/bin/besinfo
|
application/x-executable | root:root | 0o755 | 115.0 KB |
/usr/bin/lpsxsim
|
application/x-executable | root:root | 0o755 | 310.0 KB |
/usr/bin/mcrl2-gui
|
application/x-executable | root:root | 0o755 | 430.8 KB |
/usr/bin/lpsparunfold
|
application/x-executable | root:root | 0o755 | 831.3 KB |
/usr/bin/ltsview
|
application/x-executable | root:root | 0o755 | 768.7 KB |