This file is indexed.

/usr/share/acl2-6.3/books/str/ 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/str/abbrevs.o root:root 0o777
/usr/share/acl2-6.3/books/str/arithmetic.o root:root 0o777
/usr/share/acl2-6.3/books/str/base64.o root:root 0o777
/usr/share/acl2-6.3/books/str/case-conversion.o root:root 0o777
/usr/share/acl2-6.3/books/str/cat.o root:root 0o777
/usr/share/acl2-6.3/books/str/char-case.o root:root 0o777
/usr/share/acl2-6.3/books/str/char-fix.o root:root 0o777
/usr/share/acl2-6.3/books/str/coerce.o root:root 0o777
/usr/share/acl2-6.3/books/str/defs.o root:root 0o777
/usr/share/acl2-6.3/books/str/digitp.o root:root 0o777
/usr/share/acl2-6.3/books/str/eqv.o root:root 0o777
/usr/share/acl2-6.3/books/str/explode-atom.o root:root 0o777
/usr/share/acl2-6.3/books/str/explode-nonnegative-integer.o root:root 0o777
/usr/share/acl2-6.3/books/str/fast-cat.o root:root 0o777
/usr/share/acl2-6.3/books/str/firstn-chars.o root:root 0o777
/usr/share/acl2-6.3/books/str/hexify.o root:root 0o777
/usr/share/acl2-6.3/books/str/html-encode.o root:root 0o777
/usr/share/acl2-6.3/books/str/ieqv.o root:root 0o777
/usr/share/acl2-6.3/books/str/iless.o root:root 0o777
/usr/share/acl2-6.3/books/str/iprefixp.o root:root 0o777
/usr/share/acl2-6.3/books/str/isort.o root:root 0o777
/usr/share/acl2-6.3/books/str/istrpos.o root:root 0o777
/usr/share/acl2-6.3/books/str/istrprefixp.o root:root 0o777
/usr/share/acl2-6.3/books/str/isubstrp.o root:root 0o777
/usr/share/acl2-6.3/books/str/make-character-list.o root:root 0o777
/usr/share/acl2-6.3/books/str/natstr.o root:root 0o777
/usr/share/acl2-6.3/books/str/pad.o root:root 0o777
/usr/share/acl2-6.3/books/str/portcullis.o root:root 0o777
/usr/share/acl2-6.3/books/str/prefix-lines.o root:root 0o777
/usr/share/acl2-6.3/books/str/stringify.o root:root 0o777
/usr/share/acl2-6.3/books/str/strline.o root:root 0o777
/usr/share/acl2-6.3/books/str/strnatless.o root:root 0o777
/usr/share/acl2-6.3/books/str/strpos.o root:root 0o777
/usr/share/acl2-6.3/books/str/strprefixp.o root:root 0o777
/usr/share/acl2-6.3/books/str/strrpos.o root:root 0o777
/usr/share/acl2-6.3/books/str/strsplit.o root:root 0o777
/usr/share/acl2-6.3/books/str/strsubst.o root:root 0o777
/usr/share/acl2-6.3/books/str/strtok.o root:root 0o777
/usr/share/acl2-6.3/books/str/strval.o root:root 0o777
/usr/share/acl2-6.3/books/str/subseq.o root:root 0o777
/usr/share/acl2-6.3/books/str/substrp.o root:root 0o777
/usr/share/acl2-6.3/books/str/suffixp.o root:root 0o777
/usr/share/acl2-6.3/books/str/symbols.o root:root 0o777
/usr/share/acl2-6.3/books/str/top.o root:root 0o777