This file is indexed.

/usr/share/acl2-6.3/books/demos/ 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/demos/constants-that-require-modifying-state.o root:root 0o777
/usr/share/acl2-6.3/books/demos/list-theory.o root:root 0o777
/usr/share/acl2-6.3/books/demos/modeling/ root:root 0o755
/usr/share/acl2-6.3/books/demos/modeling/memories.o root:root 0o777
/usr/share/acl2-6.3/books/demos/modeling/nested-stobj-toy-isa.o root:root 0o777
/usr/share/acl2-6.3/books/demos/modeling/network-state-basic.o root:root 0o777
/usr/share/acl2-6.3/books/demos/modeling/network-state.o root:root 0o777
/usr/share/acl2-6.3/books/demos/modeling/nondeterminism.o root:root 0o777
/usr/share/acl2-6.3/books/demos/split-types-examples.o root:root 0o777