This file is indexed.

/usr/share/man/man1/ is in mcrl2 201210.1-1ubuntu1.

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

File Mime Type Owner Mode Size
..
/usr/share/man/man1/txt2pbes.1.gz application/gzip root:root 0o644 866 bytes
/usr/share/man/man1/lps2torx.1.gz application/gzip root:root 0o644 1.0 KB
/usr/share/man/man1/ltsconvert.1.gz application/gzip root:root 0o644 1.6 KB
/usr/share/man/man1/pbespgsolve.1.gz application/gzip root:root 0o644 1.3 KB
/usr/share/man/man1/txt2lps.1.gz application/gzip root:root 0o644 874 bytes
/usr/share/man/man1/formulacheck.1.gz application/gzip root:root 0o644 1.4 KB
/usr/share/man/man1/bespp.1.gz application/gzip root:root 0o644 901 bytes
/usr/share/man/man1/mcrl2-gui.1.gz application/gzip root:root 0o644 781 bytes
/usr/share/man/man1/besinfo.1.gz application/gzip root:root 0o644 943 bytes
/usr/share/man/man1/symbolic_exploration.1.gz application/gzip root:root 0o644 902 bytes
/usr/share/man/man1/complps2pbes.1.gz application/gzip root:root 0o644 932 bytes
/usr/share/man/man1/mcrl22lps.1.gz application/gzip root:root 0o644 2.7 KB
/usr/share/man/man1/lpsconstelm.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/lpsconfcheck.1.gz application/gzip root:root 0o644 1.7 KB
/usr/share/man/man1/lpsbinary.1.gz application/gzip root:root 0o644 1018 bytes
/usr/share/man/man1/ltsgraph.1.gz application/gzip root:root 0o644 858 bytes
/usr/share/man/man1/pbes2bool.1.gz application/gzip root:root 0o644 1.9 KB
/usr/share/man/man1/lpsuntime.1.gz application/gzip root:root 0o644 865 bytes
/usr/share/man/man1/mcrl2i.1.gz application/gzip root:root 0o644 1.5 KB
/usr/share/man/man1/ltscompare.1.gz application/gzip root:root 0o644 1.4 KB
/usr/share/man/man1/lps2pbes.1.gz application/gzip root:root 0o644 1.0 KB
/usr/share/man/man1/pbesrewr.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/pbespp.1.gz application/gzip root:root 0o644 938 bytes
/usr/share/man/man1/ltsview.1.gz application/gzip root:root 0o644 1.0 KB
/usr/share/man/man1/pbesparelm.1.gz application/gzip root:root 0o644 890 bytes
/usr/share/man/man1/lpsparunfold.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/man/man1/tbf2lps.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/man/man1/lpsinvelm.1.gz application/gzip root:root 0o644 1.7 KB
/usr/share/man/man1/diagraphica.1.gz application/gzip root:root 0o644 917 bytes
/usr/share/man/man1/mcrl2parse.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/man/man1/lts2pbes.1.gz application/gzip root:root 0o644 996 bytes
/usr/share/man/man1/lpsrewr.1.gz application/gzip root:root 0o644 1022 bytes
/usr/share/man/man1/mcrl2compilerewriter.1.gz application/gzip root:root 0o644 783 bytes
/usr/share/man/man1/ltsinfo.1.gz application/gzip root:root 0o644 1005 bytes
/usr/share/man/man1/lts2lps.1.gz application/gzip root:root 0o644 967 bytes
/usr/share/man/man1/tracepp.1.gz application/gzip root:root 0o644 1.0 KB
/usr/share/man/man1/lps2lts.1.gz application/gzip root:root 0o644 3.5 KB
/usr/share/man/man1/lpspp.1.gz application/gzip root:root 0o644 974 bytes
/usr/share/man/man1/lpssim.1.gz application/gzip root:root 0o644 990 bytes
/usr/share/man/man1/mcrl2xi.1.gz application/gzip root:root 0o644 956 bytes
/usr/share/man/man1/lpssuminst.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/man/man1/lpsactionrename.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/pbesconstelm.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/lpsparelm.1.gz application/gzip root:root 0o644 908 bytes
/usr/share/man/man1/pbesinfo.1.gz application/gzip root:root 0o644 958 bytes
/usr/share/man/man1/lpsinfo.1.gz application/gzip root:root 0o644 823 bytes
/usr/share/man/man1/lpsxsim.1.gz application/gzip root:root 0o644 993 bytes
/usr/share/man/man1/pbes2bes.1.gz application/gzip root:root 0o644 1.9 KB
/usr/share/man/man1/lpssumelm.1.gz application/gzip root:root 0o644 908 bytes