/usr/share/acl2-7.1/books/tools/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-7.1/books/tools/advise-raw.o
/usr/share/acl2-7.1/books/tools/advise.o
/usr/share/acl2-7.1/books/tools/bstar.o
/usr/share/acl2-7.1/books/tools/case-splitting-rules.o
/usr/share/acl2-7.1/books/tools/clone-stobj.o
/usr/share/acl2-7.1/books/tools/cws.o
/usr/share/acl2-7.1/books/tools/def-functional-instance.o
/usr/share/acl2-7.1/books/tools/defevaluator-fast.o
/usr/share/acl2-7.1/books/tools/define-keyed-function.o
/usr/share/acl2-7.1/books/tools/defined-const.o
/usr/share/acl2-7.1/books/tools/defmacfun.o
/usr/share/acl2-7.1/books/tools/defsum.o
/usr/share/acl2-7.1/books/tools/deftuple.o
/usr/share/acl2-7.1/books/tools/do-not.o
/usr/share/acl2-7.1/books/tools/easy-simplify.o
/usr/share/acl2-7.1/books/tools/fake-event.o
/usr/share/acl2-7.1/books/tools/flag.o
/usr/share/acl2-7.1/books/tools/in-raw-mode.o
/usr/share/acl2-7.1/books/tools/include-an-arithmetic-book.o
/usr/share/acl2-7.1/books/tools/include-raw.o
/usr/share/acl2-7.1/books/tools/last-theory-change.o
/usr/share/acl2-7.1/books/tools/lint.o
/usr/share/acl2-7.1/books/tools/match-tree.o
/usr/share/acl2-7.1/books/tools/mv-nth.o
/usr/share/acl2-7.1/books/tools/oracle-eval-real.o
/usr/share/acl2-7.1/books/tools/oracle-eval.o
/usr/share/acl2-7.1/books/tools/pattern-match.o
/usr/share/acl2-7.1/books/tools/plev-ccl-raw.o
/usr/share/acl2-7.1/books/tools/plev-ccl.o
/usr/share/acl2-7.1/books/tools/plev.o
/usr/share/acl2-7.1/books/tools/remove-hyps.o
/usr/share/acl2-7.1/books/tools/rewrite-with-equality.o
/usr/share/acl2-7.1/books/tools/rulesets.o
/usr/share/acl2-7.1/books/tools/safe-case.o
/usr/share/acl2-7.1/books/tools/save-obligs.o
/usr/share/acl2-7.1/books/tools/saved-errors.o
/usr/share/acl2-7.1/books/tools/stobj-frame.o
/usr/share/acl2-7.1/books/tools/stobj-help.o
/usr/share/acl2-7.1/books/tools/templates.o
/usr/share/acl2-7.1/books/tools/theory-tools.o
/usr/share/acl2-7.1/books/tools/time-dollar-with-gc.o
/usr/share/acl2-7.1/books/tools/trivial-ancestors-check.o
/usr/share/acl2-7.1/books/tools/types-misc.o
/usr/share/acl2-7.1/books/tools/with-arith5-help.o
/usr/share/acl2-7.1/books/tools/with-quoted-forms.o
/usr/share/acl2-7.1/books/tools/with-supporters-test-sub.o
/usr/share/acl2-7.1/books/tools/with-supporters-test-top.o
/usr/share/acl2-7.1/books/tools/with-supporters.o