/usr/share/acl2-7.2dfsg/books/build/

This file is indexed.

/usr/share/acl2-7.2dfsg/books/build/ is in acl2-books-source 7.2dfsg-3.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-7.2dfsg/books/build/cert.acl2`	text/plain	root:root	0o644	27 bytes
`/usr/share/acl2-7.2dfsg/books/build/doc.lisp`	text/html	root:root	0o644	43.9 KB
`/usr/share/acl2-7.2dfsg/books/build/portcullis.acl2`	text/plain	root:root	0o644	18 bytes
`/usr/share/acl2-7.2dfsg/books/build/portcullis.lisp`	text/plain	root:root	0o644	21 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/`		root:root	0o755
`/usr/share/acl2-7.2dfsg/books/build/test/dollar$test$$6.lisp`	text/plain	root:root	0o644	45 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar$test$5.lisp`	text/plain	root:root	0o644	45 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar$test4.lisp`	text/plain	root:root	0o644	45 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar-test1$.lisp`	text/plain	root:root	0o644	45 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar-test1.lisp`	text/plain	root:root	0o644	20 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar-test2.foo$.lisp`	text/plain	root:root	0o644	45 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar-test2.foo.lisp`	text/plain	root:root	0o644	20 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar-test3.$bar.lisp`	text/plain	root:root	0o644	45 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/dollar-test3.bar.lisp`	text/plain	root:root	0o644	20 bytes
`/usr/share/acl2-7.2dfsg/books/build/test/top.lisp`	text/plain	root:root	0o644	312 bytes