/usr/share/acl2-7.1/books/rtl/rel10/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-7.1/books/rtl/rel10/lib/
/usr/share/acl2-7.1/books/rtl/rel10/lib/add.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/basic.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/bits.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/div.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/doc.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/float.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/gl.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/log.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/masc.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/mult.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/rcp.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/reps.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/round.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/sqrt.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/srt.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/top.o
/usr/share/acl2-7.1/books/rtl/rel10/lib/util.o
/usr/share/acl2-7.1/books/rtl/rel10/support/
/usr/share/acl2-7.1/books/rtl/rel10/support/basic.o
/usr/share/acl2-7.1/books/rtl/rel10/support/bits.o
/usr/share/acl2-7.1/books/rtl/rel10/support/div.o
/usr/share/acl2-7.1/books/rtl/rel10/support/example.o
/usr/share/acl2-7.1/books/rtl/rel10/support/float.o
/usr/share/acl2-7.1/books/rtl/rel10/support/harrison.o
/usr/share/acl2-7.1/books/rtl/rel10/support/log.o
/usr/share/acl2-7.1/books/rtl/rel10/support/markstein.o
/usr/share/acl2-7.1/books/rtl/rel10/support/newton.o
/usr/share/acl2-7.1/books/rtl/rel10/support/rcp.o
/usr/share/acl2-7.1/books/rtl/rel10/support/reps.o
/usr/share/acl2-7.1/books/rtl/rel10/support/rnd-near-equal.o
/usr/share/acl2-7.1/books/rtl/rel10/support/round.o
/usr/share/acl2-7.1/books/rtl/rel10/support/sqrt.o
/usr/share/acl2-7.1/books/rtl/rel10/support/top.o