/usr/share/acl2-6.3/books/fix-cert/

This file is indexed.

/usr/share/acl2-6.3/books/fix-cert/ 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/fix-cert/fix-cert.cert`	text/plain	root:root	0o644	228 bytes
`/usr/share/acl2-6.3/books/fix-cert/test-fix-cert0.cert`	text/plain	root:root	0o644	448 bytes
`/usr/share/acl2-6.3/books/fix-cert/test-fix-cert1.cert`	text/plain	root:root	0o644	2.7 KB
`/usr/share/acl2-6.3/books/fix-cert/test-fix-cert2.cert`	text/plain	root:root	0o644	504 bytes
`/usr/share/acl2-6.3/books/fix-cert/test1.cert`	text/plain	root:root	0o644	2.8 KB
`/usr/share/acl2-6.3/books/fix-cert/test1b.cert`	text/plain	root:root	0o644	1.2 KB
`/usr/share/acl2-6.3/books/fix-cert/test1bb.cert`	text/plain	root:root	0o644	509 bytes
`/usr/share/acl2-6.3/books/fix-cert/test1bp.cert`	text/plain	root:root	0o644	509 bytes
`/usr/share/acl2-6.3/books/fix-cert/test1p.cert`	text/plain	root:root	0o644	1.2 KB
`/usr/share/acl2-6.3/books/fix-cert/test1pb.cert`	text/plain	root:root	0o644	507 bytes
`/usr/share/acl2-6.3/books/fix-cert/test1pp.cert`	text/plain	root:root	0o644	509 bytes
`/usr/share/acl2-6.3/books/fix-cert/test2.cert`	text/plain	root:root	0o644	495 bytes