/usr/share/man/man1/ is in mcrl2 201107.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/man/man1/besinfo.1.gz
|
application/gzip | root:root | 0o644 | 854 bytes |
/usr/share/man/man1/mcrl22lps.1.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/man/man1/lpspp.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/ltsgraph.1.gz
|
application/gzip | root:root | 0o644 | 891 bytes |
/usr/share/man/man1/lpsinfo.1.gz
|
application/gzip | root:root | 0o644 | 825 bytes |
/usr/share/man/man1/lpsinvelm.1.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/man/man1/pbesparelm.1.gz
|
application/gzip | root:root | 0o644 | 894 bytes |
/usr/share/man/man1/lpssim.1.gz
|
application/gzip | root:root | 0o644 | 935 bytes |
/usr/share/man/man1/pbesinfo.1.gz
|
application/gzip | root:root | 0o644 | 871 bytes |
/usr/share/man/man1/pbesrewr.1.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/man1/diagraphica.1.gz
|
application/gzip | root:root | 0o644 | 897 bytes |
/usr/share/man/man1/lps2lts.1.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/man/man1/chi2mcrl2.1.gz
|
application/gzip | root:root | 0o644 | 952 bytes |
/usr/share/man/man1/lysa2mcrl2.1.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/man/man1/pbesconstelm.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/lps2torx.1.gz
|
application/gzip | root:root | 0o644 | 972 bytes |
/usr/share/man/man1/lpsbinary.1.gz
|
application/gzip | root:root | 0o644 | 961 bytes |
/usr/share/man/man1/pbes2bool.1.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/man/man1/ltsconvert.1.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/man/man1/mcrl2i.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/man/man1/tracepp.1.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/man1/ltscompare.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/man/man1/lpsxsim.1.gz
|
application/gzip | root:root | 0o644 | 961 bytes |
/usr/share/man/man1/lps2pbes.1.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/man1/ltsinfo.1.gz
|
application/gzip | root:root | 0o644 | 1020 bytes |
/usr/share/man/man1/mcrl2compilerewriter.1.gz
|
application/gzip | root:root | 0o644 | 783 bytes |
/usr/share/man/man1/lpsconfcheck.1.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/man/man1/pbes2bes.1.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/man/man1/lpsparunfold.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/mcrl2xi.1.gz
|
application/gzip | root:root | 0o644 | 881 bytes |
/usr/share/man/man1/lpssuminst.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/lpsparelm.1.gz
|
application/gzip | root:root | 0o644 | 913 bytes |
/usr/share/man/man1/lts2lps.1.gz
|
application/gzip | root:root | 0o644 | 971 bytes |
/usr/share/man/man1/lpsuntime.1.gz
|
application/gzip | root:root | 0o644 | 869 bytes |
/usr/share/man/man1/formulacheck.1.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/man/man1/ltsview.1.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/man1/pbespp.1.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/man1/lpssumelm.1.gz
|
application/gzip | root:root | 0o644 | 912 bytes |
/usr/share/man/man1/lpsconstelm.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/grapemcrl2.1.gz
|
application/gzip | root:root | 0o644 | 911 bytes |
/usr/share/man/man1/lts2pbes.1.gz
|
application/gzip | root:root | 0o644 | 999 bytes |
/usr/share/man/man1/lpsactionrename.1.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/man/man1/lpsrewr.1.gz
|
application/gzip | root:root | 0o644 | 958 bytes |
/usr/share/man/man1/bespp.1.gz
|
application/gzip | root:root | 0o644 | 907 bytes |
/usr/share/man/man1/tbf2lps.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/mcrl2-gui.1.gz
|
application/gzip | root:root | 0o644 | 783 bytes |
/usr/share/man/man1/txt2pbes.1.gz
|
application/gzip | root:root | 0o644 | 910 bytes |
/usr/share/man/man1/txt2lps.1.gz
|
application/gzip | root:root | 0o644 | 878 bytes |
/usr/share/man/man1/pbespgsolve.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |