This file is indexed.

/usr/share/acl2-8.0dfsg/books/defexec/find-path/ is in acl2-books-source 8.0dfsg-1.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/defexec/find-path/fpst.lisp text/plain root:root 0o644 27.2 KB
/usr/share/acl2-8.0dfsg/books/defexec/find-path/graph/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/defexec/find-path/graph/find-path1.lisp text/x-lisp root:root 0o644 21.0 KB
/usr/share/acl2-8.0dfsg/books/defexec/find-path/graph/find-path2.lisp text/x-lisp root:root 0o644 13.1 KB
/usr/share/acl2-8.0dfsg/books/defexec/find-path/graph/find-path3.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-8.0dfsg/books/defexec/find-path/graph/helpers.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/defexec/find-path/graph/linear-find-path.lisp text/x-lisp root:root 0o644 18.7 KB
/usr/share/acl2-8.0dfsg/books/defexec/find-path/run-fpst.lisp text/x-lisp root:root 0o644 10.4 KB