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

This file is indexed.

/usr/share/acl2-6.3/books/std/io/ is in acl2-books-source 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.lisp`	text/x-lisp	root:root	0o644	42.8 KB
`/usr/share/acl2-6.3/books/std/io/cert.acl2`	text/plain	root:root	0o644	1009 bytes
`/usr/share/acl2-6.3/books/std/io/combine.lisp`	text/plain	root:root	0o644	11.4 KB
`/usr/share/acl2-6.3/books/std/io/file-measure.lisp`	text/x-lisp	root:root	0o644	4.5 KB
`/usr/share/acl2-6.3/books/std/io/nthcdr-bytes.lisp`	text/plain	root:root	0o644	5.1 KB
`/usr/share/acl2-6.3/books/std/io/read-file-bytes.lisp`	text/plain	root:root	0o644	7.5 KB
`/usr/share/acl2-6.3/books/std/io/read-file-characters-no-error.lisp`	text/plain	root:root	0o644	1.4 KB
`/usr/share/acl2-6.3/books/std/io/read-file-characters.lisp`	text/plain	root:root	0o644	8.2 KB
`/usr/share/acl2-6.3/books/std/io/read-file-lines.lisp`	text/plain	root:root	0o644	5.5 KB
`/usr/share/acl2-6.3/books/std/io/read-file-objects.lisp`	text/plain	root:root	0o644	6.6 KB
`/usr/share/acl2-6.3/books/std/io/read-ints.lisp`	text/plain	root:root	0o644	51.9 KB
`/usr/share/acl2-6.3/books/std/io/read-object.lisp`	text/plain	root:root	0o644	70 bytes
`/usr/share/acl2-6.3/books/std/io/signed-byte-listp.lisp`	text/plain	root:root	0o644	112 bytes
`/usr/share/acl2-6.3/books/std/io/take-bytes.lisp`	text/plain	root:root	0o644	3.2 KB
`/usr/share/acl2-6.3/books/std/io/top.lisp`	text/html	root:root	0o644	3.3 KB
`/usr/share/acl2-6.3/books/std/io/unsigned-byte-listp.lisp`	text/plain	root:root	0o644	114 bytes