/usr/share/acl2-6.3/books/hacking/

This file is indexed.

/usr/share/acl2-6.3/books/hacking/ 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/hacking/all.cert`	text/plain	root:root	0o644	4.4 KB
`/usr/share/acl2-6.3/books/hacking/bridge.cert`	text/plain	root:root	0o644	2.2 KB
`/usr/share/acl2-6.3/books/hacking/defcode.cert`	text/plain	root:root	0o644	2.6 KB
`/usr/share/acl2-6.3/books/hacking/defstruct-parsing.cert`	text/plain	root:root	0o644	2.1 KB
`/usr/share/acl2-6.3/books/hacking/doc-section.cert`	text/plain	root:root	0o644	236 bytes
`/usr/share/acl2-6.3/books/hacking/dynamic-make-event-test.cert`	text/plain	root:root	0o644	16.8 KB
`/usr/share/acl2-6.3/books/hacking/dynamic-make-event.cert`	text/plain	root:root	0o644	2.4 KB
`/usr/share/acl2-6.3/books/hacking/evalable-ld-printing.cert`	text/plain	root:root	0o644	1.6 KB
`/usr/share/acl2-6.3/books/hacking/hacker.cert`	text/plain	root:root	0o644	3.2 KB
`/usr/share/acl2-6.3/books/hacking/progn-bang-enh.cert`	text/plain	root:root	0o644	312 bytes
`/usr/share/acl2-6.3/books/hacking/raw.cert`	text/plain	root:root	0o644	2.2 KB
`/usr/share/acl2-6.3/books/hacking/redefun.cert`	text/plain	root:root	0o644	2.1 KB
`/usr/share/acl2-6.3/books/hacking/rewrite-code.cert`	text/plain	root:root	0o644	594 bytes
`/usr/share/acl2-6.3/books/hacking/subsumption.cert`	text/plain	root:root	0o644	2.2 KB
`/usr/share/acl2-6.3/books/hacking/table-guard.cert`	text/plain	root:root	0o644	35.4 KB