/usr/share/acl2-7.1/books/centaur/memoize/

This file is indexed.

/usr/share/acl2-7.1/books/centaur/memoize/ is in acl2-books 7.1-1.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-7.1/books/centaur/memoize/numargs.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/`		root:root	0o755
`/usr/share/acl2-7.1/books/centaur/memoize/old/case-raw.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/case.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/output-raw.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/profile-raw.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/profile.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/watch-raw.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/old/watch.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/pons.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/portcullis.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/tests.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/timer.o`		root:root	0o777
`/usr/share/acl2-7.1/books/centaur/memoize/top.o`		root:root	0o777