This file is indexed.

/usr/share/acl2-6.3/books/cutil/ is in acl2-books 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/cutil/da-base.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defaggregate-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defaggregate.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defalist-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defalist.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defenum.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/define-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/define.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/deflist-aux.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/deflist-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/deflist.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defmapappend-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defmapappend.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defmvtypes.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defprojection-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defprojection.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defredundant-tests.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defredundant.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/defrule.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/formals.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/look-up.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/maybe-defthm.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/portcullis.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/returnspecs.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/support.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/tools/ root:root 0o755
/usr/share/acl2-6.3/books/cutil/tools/assert-return-thms.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/top.o root:root 0o777
/usr/share/acl2-6.3/books/cutil/wizard.o root:root 0o777