/usr/share/acl2-6.3/books/centaur/

This file is indexed.

/usr/share/acl2-6.3/books/centaur/ is in acl2-books-certs 6.3-5.

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

There are a lot of files here (576 total). We're only showing the immediate contents of /usr/share/acl2-6.3/books/centaur.

File	Owner	Mode
`..`
`/usr/share/acl2-6.3/books/centaur/4v-sexpr/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/aig/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/aignet/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/bitops/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/bridge/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/clex/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/defrstobj/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/esim/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/getopt/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/gl/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/misc/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/regression/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/satlink/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/tutorial/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/ubdds/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/vcd/`	root:root	0o755
`/usr/share/acl2-6.3/books/centaur/vl/`	root:root	0o755

acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / centaur