/usr/share/acl2-7.1/books/projects/regex/

This file is indexed.

/usr/share/acl2-7.1/books/projects/regex/ 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/projects/regex/defset-encapsulates.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/defset-macros.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/equal-based-set.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/grep-command-line.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/input-list.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/portcullis.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-chartrans.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-defs.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-exec.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-fileio.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-parse-brace.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-parse-bracket.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-parse.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-tests.o`		root:root	0o777
`/usr/share/acl2-7.1/books/projects/regex/regex-ui.o`		root:root	0o777