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

This file is indexed.

/usr/share/acl2-6.3/books/std/io/ is in acl2-books-certs 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.cert`	text/plain	root:root	0o644	139.2 KB
`/usr/share/acl2-6.3/books/std/io/combine.cert`	text/plain	root:root	0o644	56.1 KB
`/usr/share/acl2-6.3/books/std/io/file-measure.cert`	text/plain	root:root	0o644	9.7 KB
`/usr/share/acl2-6.3/books/std/io/nthcdr-bytes.cert`	text/plain	root:root	0o644	20.7 KB
`/usr/share/acl2-6.3/books/std/io/read-file-bytes.cert`	text/plain	root:root	0o644	26.5 KB
`/usr/share/acl2-6.3/books/std/io/read-file-characters-no-error.cert`	text/plain	root:root	0o644	11.7 KB
`/usr/share/acl2-6.3/books/std/io/read-file-characters.cert`	text/plain	root:root	0o644	29.2 KB
`/usr/share/acl2-6.3/books/std/io/read-file-lines.cert`	text/plain	root:root	0o644	23.4 KB
`/usr/share/acl2-6.3/books/std/io/read-file-objects.cert`	text/plain	root:root	0o644	58.5 KB
`/usr/share/acl2-6.3/books/std/io/read-ints.cert`	text/plain	root:root	0o644	195.2 KB
`/usr/share/acl2-6.3/books/std/io/read-object.cert`	text/plain	root:root	0o644	11.3 KB
`/usr/share/acl2-6.3/books/std/io/signed-byte-listp.cert`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-6.3/books/std/io/take-bytes.cert`	text/plain	root:root	0o644	17.7 KB
`/usr/share/acl2-6.3/books/std/io/top.cert`	text/plain	root:root	0o644	38.8 KB
`/usr/share/acl2-6.3/books/std/io/unsigned-byte-listp.cert`	text/plain	root:root	0o644	4.4 KB