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

This file is indexed.

/usr/share/acl2-6.5/books/system/pcert/ is in acl2-books-source 6.5-2.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-1.acl2`	text/plain	root:root	0o644	283 bytes
`/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-1.lisp`	text/x-lisp	root:root	0o644	291 bytes
`/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-2-include.lisp`	text/plain	root:root	0o644	1015 bytes
`/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-2.acl2`	text/plain	root:root	0o644	118 bytes
`/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-2.lisp`	text/x-lisp	root:root	0o644	779 bytes
`/usr/share/acl2-6.5/books/system/pcert/cert.acl2`	text/plain	root:root	0o644	216 bytes
`/usr/share/acl2-6.5/books/system/pcert/elide-test.lisp`	text/plain	root:root	0o644	815 bytes
`/usr/share/acl2-6.5/books/system/pcert/mid.acl2`	text/plain	root:root	0o644	429 bytes
`/usr/share/acl2-6.5/books/system/pcert/mid.lisp`	text/x-lisp	root:root	0o644	257 bytes
`/usr/share/acl2-6.5/books/system/pcert/pkg-test.acl2`	text/plain	root:root	0o644	291 bytes
`/usr/share/acl2-6.5/books/system/pcert/pkg-test.lisp`	text/x-lisp	root:root	0o644	207 bytes
`/usr/share/acl2-6.5/books/system/pcert/sub.lisp`	text/x-lisp	root:root	0o644	793 bytes
`/usr/share/acl2-6.5/books/system/pcert/top.acl2`	text/plain	root:root	0o644	380 bytes
`/usr/share/acl2-6.5/books/system/pcert/top.lisp`	text/x-lisp	root:root	0o644	285 bytes