/usr/share/acl2-6.3/books/std/io/

This file is indexed.

/usr/share/acl2-6.3/books/std/io/ is in acl2-books 6.3-5.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-6.3/books/std/io/base.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/combine.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/file-measure.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/nthcdr-bytes.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-file-bytes.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-file-characters-no-error.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-file-characters.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-file-lines.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-file-objects.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-ints.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/read-object.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/signed-byte-listp.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/take-bytes.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/top.o`		root:root	0o777
`/usr/share/acl2-6.3/books/std/io/unsigned-byte-listp.o`		root:root	0o777