This file is indexed.

/usr/share/doc/mace2/examples/basic/ is in mace2 3.3f-1.1.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/mace2/examples/basic/README text/plain root:root 0o644 34 bytes
/usr/share/doc/mace2/examples/basic/cd.in text/plain root:root 0o644 733 bytes
/usr/share/doc/mace2/examples/basic/cd.out text/plain root:root 0o644 2.1 KB
/usr/share/doc/mace2/examples/basic/cl_ql.in text/plain root:root 0o644 428 bytes
/usr/share/doc/mace2/examples/basic/cl_ql.out text/plain root:root 0o644 2.4 KB
/usr/share/doc/mace2/examples/basic/cl_sw.in text/plain root:root 0o644 523 bytes
/usr/share/doc/mace2/examples/basic/cl_sw.out text/plain root:root 0o644 2.4 KB
/usr/share/doc/mace2/examples/basic/index.html text/html root:root 0o644 1.2 KB
/usr/share/doc/mace2/examples/basic/noncommutative_group.in text/plain root:root 0o644 136 bytes
/usr/share/doc/mace2/examples/basic/noncommutative_group.out text/plain root:root 0o644 2.0 KB
/usr/share/doc/mace2/examples/basic/ordered_semi.in text/plain root:root 0o644 383 bytes
/usr/share/doc/mace2/examples/basic/ordered_semi.out text/plain root:root 0o644 2.2 KB
/usr/share/doc/mace2/examples/basic/program text/plain root:root 0o644 6 bytes
/usr/share/doc/mace2/examples/basic/ring.in text/plain root:root 0o644 616 bytes
/usr/share/doc/mace2/examples/basic/ring.out text/plain root:root 0o644 2.4 KB
/usr/share/doc/mace2/examples/basic/tba.in text/plain root:root 0o644 358 bytes
/usr/share/doc/mace2/examples/basic/tba.out text/plain root:root 0o644 2.0 KB
/usr/share/doc/mace2/examples/basic/temp text/plain root:root 0o644 3.9 KB
/usr/share/doc/mace2/examples/basic/tough-nut.in text/plain root:root 0o644 3.2 KB
/usr/share/doc/mace2/examples/basic/tough-nut.out text/plain root:root 0o644 3.4 KB