/usr/share/acl2-6.3/books/regex/

This file is indexed.

/usr/share/acl2-6.3/books/regex/ 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/regex/defset-encapsulates.cert`	text/plain	root:root	0o644	1.8 KB
`/usr/share/acl2-6.3/books/regex/defset-macros.cert`	text/plain	root:root	0o644	1.6 KB
`/usr/share/acl2-6.3/books/regex/equal-based-set.cert`	text/plain	root:root	0o644	1.9 KB
`/usr/share/acl2-6.3/books/regex/grep-command-line.cert`	text/plain	root:root	0o644	17.4 KB
`/usr/share/acl2-6.3/books/regex/input-list.cert`	text/plain	root:root	0o644	54.8 KB
`/usr/share/acl2-6.3/books/regex/portcullis.cert`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-6.3/books/regex/regex-chartrans.cert`	text/plain	root:root	0o644	1.6 KB
`/usr/share/acl2-6.3/books/regex/regex-defs.cert`	text/plain	root:root	0o644	13.0 KB
`/usr/share/acl2-6.3/books/regex/regex-exec.cert`	text/plain	root:root	0o644	24.7 KB
`/usr/share/acl2-6.3/books/regex/regex-fileio.cert`	text/plain	root:root	0o644	17.1 KB
`/usr/share/acl2-6.3/books/regex/regex-parse-brace.cert`	text/plain	root:root	0o644	16.3 KB
`/usr/share/acl2-6.3/books/regex/regex-parse-bracket.cert`	text/plain	root:root	0o644	16.3 KB
`/usr/share/acl2-6.3/books/regex/regex-parse.cert`	text/plain	root:root	0o644	16.6 KB
`/usr/share/acl2-6.3/books/regex/regex-tests.cert`	text/plain	root:root	0o644	17.3 KB
`/usr/share/acl2-6.3/books/regex/regex-ui.cert`	text/plain	root:root	0o644	89.2 KB