/usr/

This file is indexed.

/usr/ is in acl2-infix-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/lib/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/interface/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/interface/infix/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/interface/infix/acl2-formatting.lisp`	text/x-lisp	root:root	0o644	5.7 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/infix.lisp`	text/x-lisp	root:root	0o644	209.0 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/latex-init.lisp`	text/x-tex	root:root	0o644	23.1 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/latex-theory.lisp`	text/x-lisp	root:root	0o644	6.3 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/scribe-init.lisp`	text/plain	root:root	0o644	16.6 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/scribe-theory.lisp`	text/x-lisp	root:root	0o644	6.3 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/sloop.lisp`	text/x-lisp	root:root	0o644	38.4 KB
`/usr/share/`		root:root	0o755
`/usr/share/doc/`		root:root	0o755
`/usr/share/doc/acl2-infix-source/`		root:root	0o755
`/usr/share/doc/acl2-infix-source/changelog.Debian.gz`	application/gzip	root:root	0o644	904 bytes
`/usr/share/doc/acl2-infix-source/copyright`	text/plain	root:root	0o644	7.6 KB