/usr/lib/acl2-7.1/books/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
There are a lot of files here (3091 total). We're only showing the immediate contents of /usr/lib/acl2-7.1/books.
/usr/lib/acl2-7.1/books
..
/usr/lib/acl2-7.1/books/acl2s/
/usr/lib/acl2-7.1/books/add-ons/
/usr/lib/acl2-7.1/books/arithmetic/
/usr/lib/acl2-7.1/books/arithmetic-2/
/usr/lib/acl2-7.1/books/arithmetic-3/
/usr/lib/acl2-7.1/books/arithmetic-5/
/usr/lib/acl2-7.1/books/bdd/
/usr/lib/acl2-7.1/books/build/
/usr/lib/acl2-7.1/books/centaur/
/usr/lib/acl2-7.1/books/clause-processors/
/usr/lib/acl2-7.1/books/coi/
/usr/lib/acl2-7.1/books/cowles/
/usr/lib/acl2-7.1/books/data-structures/
/usr/lib/acl2-7.1/books/defexec/
/usr/lib/acl2-7.1/books/defsort/
/usr/lib/acl2-7.1/books/demos/
/usr/lib/acl2-7.1/books/finite-set-theory/
/usr/lib/acl2-7.1/books/hacking/
/usr/lib/acl2-7.1/books/hints/
/usr/lib/acl2-7.1/books/ihs/
/usr/lib/acl2-7.1/books/make-event/
/usr/lib/acl2-7.1/books/meta/
/usr/lib/acl2-7.1/books/misc/
/usr/lib/acl2-7.1/books/models/
/usr/lib/acl2-7.1/books/nonstd/
/usr/lib/acl2-7.1/books/oracle/
/usr/lib/acl2-7.1/books/ordinals/
/usr/lib/acl2-7.1/books/oslib/
/usr/lib/acl2-7.1/books/parsers/
/usr/lib/acl2-7.1/books/powerlists/
/usr/lib/acl2-7.1/books/projects/
/usr/lib/acl2-7.1/books/proofstyles/
/usr/lib/acl2-7.1/books/rtl/
/usr/lib/acl2-7.1/books/sorting/
/usr/lib/acl2-7.1/books/std/
/usr/lib/acl2-7.1/books/system/
/usr/lib/acl2-7.1/books/tau/
/usr/lib/acl2-7.1/books/textbook/
/usr/lib/acl2-7.1/books/tools/
/usr/lib/acl2-7.1/books/unicode/
/usr/lib/acl2-7.1/books/xdoc/