/usr/share/acl2-7.1/books/coi/util/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-7.1/books/coi/util/clause-processor.o
/usr/share/acl2-7.1/books/coi/util/debug.o
/usr/share/acl2-7.1/books/coi/util/defbinding.o
/usr/share/acl2-7.1/books/coi/util/defdoc.o
/usr/share/acl2-7.1/books/coi/util/deffix.o
/usr/share/acl2-7.1/books/coi/util/defsubtype.o
/usr/share/acl2-7.1/books/coi/util/defun-support.o
/usr/share/acl2-7.1/books/coi/util/defun.o
/usr/share/acl2-7.1/books/coi/util/extra-info-test.o
/usr/share/acl2-7.1/books/coi/util/extra-info.o
/usr/share/acl2-7.1/books/coi/util/fixequiv.o
/usr/share/acl2-7.1/books/coi/util/good-rewrite-order.o
/usr/share/acl2-7.1/books/coi/util/ifdef.o
/usr/share/acl2-7.1/books/coi/util/iff.o
/usr/share/acl2-7.1/books/coi/util/ifixequiv.o
/usr/share/acl2-7.1/books/coi/util/implies.o
/usr/share/acl2-7.1/books/coi/util/in-conclusion.o
/usr/share/acl2-7.1/books/coi/util/ith.o
/usr/share/acl2-7.1/books/coi/util/mv-nth.o
/usr/share/acl2-7.1/books/coi/util/nfixequiv.o
/usr/share/acl2-7.1/books/coi/util/ordinal-order.o
/usr/share/acl2-7.1/books/coi/util/pseudo-translate.o
/usr/share/acl2-7.1/books/coi/util/recursion-support.o
/usr/share/acl2-7.1/books/coi/util/rewrite-equiv.o
/usr/share/acl2-7.1/books/coi/util/rule-sets-documentation.o
/usr/share/acl2-7.1/books/coi/util/rule-sets-support.o
/usr/share/acl2-7.1/books/coi/util/rule-sets.o
/usr/share/acl2-7.1/books/coi/util/skip-rewrite.o
/usr/share/acl2-7.1/books/coi/util/syntaxp.o
/usr/share/acl2-7.1/books/coi/util/table.o