This file is indexed.

/usr/share/acl2-6.3/books/tools/ is in acl2-books 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/tools/advise-raw.o root:root 0o777
/usr/share/acl2-6.3/books/tools/advise.o root:root 0o777
/usr/share/acl2-6.3/books/tools/bstar.o root:root 0o777
/usr/share/acl2-6.3/books/tools/case-splitting-rules.o root:root 0o777
/usr/share/acl2-6.3/books/tools/clone-stobj.o root:root 0o777
/usr/share/acl2-6.3/books/tools/cws.o root:root 0o777
/usr/share/acl2-6.3/books/tools/def-functional-instance.o root:root 0o777
/usr/share/acl2-6.3/books/tools/defconsts.o root:root 0o777
/usr/share/acl2-6.3/books/tools/defevaluator-fast.o root:root 0o777
/usr/share/acl2-6.3/books/tools/define-keyed-function.o root:root 0o777
/usr/share/acl2-6.3/books/tools/defined-const.o root:root 0o777
/usr/share/acl2-6.3/books/tools/defmacfun.o root:root 0o777
/usr/share/acl2-6.3/books/tools/defredundant.o root:root 0o777
/usr/share/acl2-6.3/books/tools/defsum.o root:root 0o777
/usr/share/acl2-6.3/books/tools/deftuple.o root:root 0o777
/usr/share/acl2-6.3/books/tools/do-not.o root:root 0o777
/usr/share/acl2-6.3/books/tools/easy-simplify.o root:root 0o777
/usr/share/acl2-6.3/books/tools/fake-event.o root:root 0o777
/usr/share/acl2-6.3/books/tools/flag.o root:root 0o777
/usr/share/acl2-6.3/books/tools/in-raw-mode.o root:root 0o777
/usr/share/acl2-6.3/books/tools/include-raw.o root:root 0o777
/usr/share/acl2-6.3/books/tools/lint.o root:root 0o777
/usr/share/acl2-6.3/books/tools/match-tree.o root:root 0o777
/usr/share/acl2-6.3/books/tools/mv-nth.o root:root 0o777
/usr/share/acl2-6.3/books/tools/oracle-eval-real.o root:root 0o777
/usr/share/acl2-6.3/books/tools/oracle-eval.o root:root 0o777
/usr/share/acl2-6.3/books/tools/pack.o root:root 0o777
/usr/share/acl2-6.3/books/tools/pattern-match.o root:root 0o777
/usr/share/acl2-6.3/books/tools/plev-ccl-raw.o root:root 0o777
/usr/share/acl2-6.3/books/tools/plev-ccl.o root:root 0o777
/usr/share/acl2-6.3/books/tools/plev.o root:root 0o777
/usr/share/acl2-6.3/books/tools/rulesets.o root:root 0o777
/usr/share/acl2-6.3/books/tools/safe-case.o root:root 0o777
/usr/share/acl2-6.3/books/tools/saved-errors.o root:root 0o777
/usr/share/acl2-6.3/books/tools/stobj-frame.o root:root 0o777
/usr/share/acl2-6.3/books/tools/stobj-help.o root:root 0o777
/usr/share/acl2-6.3/books/tools/templates.o root:root 0o777
/usr/share/acl2-6.3/books/tools/theory-tools.o root:root 0o777
/usr/share/acl2-6.3/books/tools/time-dollar-with-gc.o root:root 0o777
/usr/share/acl2-6.3/books/tools/trivial-ancestors-check.o root:root 0o777
/usr/share/acl2-6.3/books/tools/types-misc.o root:root 0o777
/usr/share/acl2-6.3/books/tools/with-arith5-help.o root:root 0o777
/usr/share/acl2-6.3/books/tools/with-quoted-forms.o root:root 0o777