/usr/share/acl2-6.3/books/misc/ is in acl2-books 6.3-5.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-6.3/books/misc/assert.o
/usr/share/acl2-6.3/books/misc/bash-bsd.o
/usr/share/acl2-6.3/books/misc/bash.o
/usr/share/acl2-6.3/books/misc/beta-reduce.o
/usr/share/acl2-6.3/books/misc/book-checks.o
/usr/share/acl2-6.3/books/misc/callers-and-ancestors.o
/usr/share/acl2-6.3/books/misc/character-encoding-test.o
/usr/share/acl2-6.3/books/misc/check-acl2-exports.o
/usr/share/acl2-6.3/books/misc/computed-hint-rewrite.o
/usr/share/acl2-6.3/books/misc/computed-hint.o
/usr/share/acl2-6.3/books/misc/congruent-stobjs-test.o
/usr/share/acl2-6.3/books/misc/csort.o
/usr/share/acl2-6.3/books/misc/dead-events.o
/usr/share/acl2-6.3/books/misc/defabsstobj-example-1.o
/usr/share/acl2-6.3/books/misc/defabsstobj-example-2.o
/usr/share/acl2-6.3/books/misc/defabsstobj-example-3.o
/usr/share/acl2-6.3/books/misc/defabsstobj-example-4.o
/usr/share/acl2-6.3/books/misc/defattach-bang.o
/usr/share/acl2-6.3/books/misc/defattach-example.o
/usr/share/acl2-6.3/books/misc/definline.o
/usr/share/acl2-6.3/books/misc/defmac.o
/usr/share/acl2-6.3/books/misc/defopener.o
/usr/share/acl2-6.3/books/misc/defp.o
/usr/share/acl2-6.3/books/misc/defproxy-test.o
/usr/share/acl2-6.3/books/misc/defpun.o
/usr/share/acl2-6.3/books/misc/defun-plus.o
/usr/share/acl2-6.3/books/misc/dft-ex.o
/usr/share/acl2-6.3/books/misc/dft.o
/usr/share/acl2-6.3/books/misc/dijkstra-shortest-path.o
/usr/share/acl2-6.3/books/misc/disassemble.o
/usr/share/acl2-6.3/books/misc/dump-events.o
/usr/share/acl2-6.3/books/misc/equal-by-g-help.o
/usr/share/acl2-6.3/books/misc/equal-by-g.o
/usr/share/acl2-6.3/books/misc/eval.o
/usr/share/acl2-6.3/books/misc/evalable-printing.o
/usr/share/acl2-6.3/books/misc/expander.o
/usr/share/acl2-6.3/books/misc/fast-coerce.o
/usr/share/acl2-6.3/books/misc/fibonacci.o
/usr/share/acl2-6.3/books/misc/file-io.o
/usr/share/acl2-6.3/books/misc/find-lemmas.o
/usr/share/acl2-6.3/books/misc/gentle.o
/usr/share/acl2-6.3/books/misc/getprop.o
/usr/share/acl2-6.3/books/misc/goodstein.o
/usr/share/acl2-6.3/books/misc/grcd.o
/usr/share/acl2-6.3/books/misc/hanoi.o
/usr/share/acl2-6.3/books/misc/hons-help.o
/usr/share/acl2-6.3/books/misc/hons-help2.o
/usr/share/acl2-6.3/books/misc/hons-tests.o
/usr/share/acl2-6.3/books/misc/how-to-prove-thms.o
/usr/share/acl2-6.3/books/misc/int-division.o
/usr/share/acl2-6.3/books/misc/integer-type-set-test.o
/usr/share/acl2-6.3/books/misc/invariants.o
/usr/share/acl2-6.3/books/misc/meta-lemmas.o
/usr/share/acl2-6.3/books/misc/misc2/
/usr/share/acl2-6.3/books/misc/misc2/defpun-exec-domain-example.o
/usr/share/acl2-6.3/books/misc/misc2/misc.o
/usr/share/acl2-6.3/books/misc/misc2/reverse-by-separation.o
/usr/share/acl2-6.3/books/misc/misc2/ruler-extenders-tests.o
/usr/share/acl2-6.3/books/misc/misc2/step-limits.o
/usr/share/acl2-6.3/books/misc/mult.o
/usr/share/acl2-6.3/books/misc/nested-stobj-tests.o
/usr/share/acl2-6.3/books/misc/oprof.o
/usr/share/acl2-6.3/books/misc/priorities.o
/usr/share/acl2-6.3/books/misc/problem13.o
/usr/share/acl2-6.3/books/misc/process-book-readme.o
/usr/share/acl2-6.3/books/misc/profiling.o
/usr/share/acl2-6.3/books/misc/qi-correct.o
/usr/share/acl2-6.3/books/misc/qi.o
/usr/share/acl2-6.3/books/misc/radix.o
/usr/share/acl2-6.3/books/misc/random.o
/usr/share/acl2-6.3/books/misc/records-bsd.o
/usr/share/acl2-6.3/books/misc/records.o
/usr/share/acl2-6.3/books/misc/records0.o
/usr/share/acl2-6.3/books/misc/redef-pkg.o
/usr/share/acl2-6.3/books/misc/rtl-untranslate.o
/usr/share/acl2-6.3/books/misc/save-time.o
/usr/share/acl2-6.3/books/misc/seq.o
/usr/share/acl2-6.3/books/misc/seqw.o
/usr/share/acl2-6.3/books/misc/simplify-defuns.o
/usr/share/acl2-6.3/books/misc/simplify-thm.o
/usr/share/acl2-6.3/books/misc/sin-cos.o
/usr/share/acl2-6.3/books/misc/sort-symbols.o
/usr/share/acl2-6.3/books/misc/sticky-disable.o
/usr/share/acl2-6.3/books/misc/symbol-btree.o
/usr/share/acl2-6.3/books/misc/total-order-bsd.o
/usr/share/acl2-6.3/books/misc/total-order.o
/usr/share/acl2-6.3/books/misc/trace-star.o
/usr/share/acl2-6.3/books/misc/transfinite.o
/usr/share/acl2-6.3/books/misc/untranslate-patterns.o
/usr/share/acl2-6.3/books/misc/wet.o