/usr/ is in acl2-infix-source 6.3-5.
This file is owned by root:root, with mode 0o755.
..
/usr/share/
/usr/share/doc/
/usr/share/doc/acl2-infix-source/
/usr/share/doc/acl2-infix-source/copyright
/usr/share/doc/acl2-infix-source/changelog.Debian.gz
/usr/lib/
/usr/lib/acl2-6.3/
/usr/lib/acl2-6.3/books/
/usr/lib/acl2-6.3/books/interface/
/usr/lib/acl2-6.3/books/interface/infix/
/usr/lib/acl2-6.3/books/interface/infix/scribe-theory.lisp
/usr/lib/acl2-6.3/books/interface/infix/scribe-init.lisp
/usr/lib/acl2-6.3/books/interface/infix/acl2-formatting.lisp
/usr/lib/acl2-6.3/books/interface/infix/infix.lisp
/usr/lib/acl2-6.3/books/interface/infix/sloop.lisp
/usr/lib/acl2-6.3/books/interface/infix/latex-theory.lisp
/usr/lib/acl2-6.3/books/interface/infix/latex-init.lisp