/usr/share/acl2-6.3/books/system/pcert/

This file is indexed.

/usr/share/acl2-6.3/books/system/pcert/ 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/system/pcert/acl2x-pcert-test-1.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-1.cert/acl2x-pcert-test-1.pcert0`	text/plain	root:root	0o644	584 bytes
`/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2-include.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2-include.cert/acl2x-pcert-test-2-include.pcert0`	text/plain	root:root	0o644	1001 bytes
`/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2.cert/acl2x-pcert-test-2.pcert0`	text/plain	root:root	0o644	1.3 KB
`/usr/share/acl2-6.3/books/system/pcert/elide-test.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/elide-test.cert/elide-test.pcert0`	text/plain	root:root	0o644	2.6 KB
`/usr/share/acl2-6.3/books/system/pcert/mid.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/mid.cert/mid.pcert0`	text/plain	root:root	0o644	337 bytes
`/usr/share/acl2-6.3/books/system/pcert/pkg-test.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/pkg-test.cert/pkg-test.pcert0`	text/plain	root:root	0o644	282 bytes
`/usr/share/acl2-6.3/books/system/pcert/sub.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/sub.cert/sub.pcert0`	text/plain	root:root	0o644	2.1 KB
`/usr/share/acl2-6.3/books/system/pcert/top.cert/`		root:root	0o755
`/usr/share/acl2-6.3/books/system/pcert/top.cert/top.pcert0`	text/plain	root:root	0o644	750 bytes