acl2-books-source 6.5-2 / usr / share / acl2-6.5 / books

This file is indexed.

/usr/share/acl2-6.5/books/ 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/add-ons/ root:root 0o755
/usr/share/acl2-6.5/books/arithmetic/ root:root 0o755
/usr/share/acl2-6.5/books/arithmetic-2/ root:root 0o755
/usr/share/acl2-6.5/books/arithmetic-3/ root:root 0o755
/usr/share/acl2-6.5/books/arithmetic-5/ root:root 0o755
/usr/share/acl2-6.5/books/bdd/ root:root 0o755
/usr/share/acl2-6.5/books/build/ root:root 0o755
/usr/share/acl2-6.5/books/ccg/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/ root:root 0o755
/usr/share/acl2-6.5/books/cgen/ root:root 0o755
/usr/share/acl2-6.5/books/clause-processors/ root:root 0o755
/usr/share/acl2-6.5/books/coi/ root:root 0o755
/usr/share/acl2-6.5/books/cowles/ root:root 0o755
/usr/share/acl2-6.5/books/data-structures/ root:root 0o755
/usr/share/acl2-6.5/books/defexec/ root:root 0o755
/usr/share/acl2-6.5/books/defsort/ root:root 0o755
/usr/share/acl2-6.5/books/demos/ root:root 0o755
/usr/share/acl2-6.5/books/doc/ root:root 0o755
/usr/share/acl2-6.5/books/finite-set-theory/ root:root 0o755
/usr/share/acl2-6.5/books/fix-cert/ root:root 0o755
/usr/share/acl2-6.5/books/hacking/ root:root 0o755
/usr/share/acl2-6.5/books/hints/ root:root 0o755
/usr/share/acl2-6.5/books/ihs/ root:root 0o755
/usr/share/acl2-6.5/books/interface/ root:root 0o755
/usr/share/acl2-6.5/books/make-event/ root:root 0o755
/usr/share/acl2-6.5/books/meta/ root:root 0o755
/usr/share/acl2-6.5/books/misc/ root:root 0o755
/usr/share/acl2-6.5/books/models/ root:root 0o755
/usr/share/acl2-6.5/books/nonstd/ root:root 0o755
/usr/share/acl2-6.5/books/ordinals/ root:root 0o755
/usr/share/acl2-6.5/books/oslib/ root:root 0o755
/usr/share/acl2-6.5/books/parsers/ root:root 0o755
/usr/share/acl2-6.5/books/powerlists/ root:root 0o755
/usr/share/acl2-6.5/books/projects/ root:root 0o755
/usr/share/acl2-6.5/books/proofstyles/ root:root 0o755
/usr/share/acl2-6.5/books/regex/ root:root 0o755
/usr/share/acl2-6.5/books/rtl/ root:root 0o755
/usr/share/acl2-6.5/books/sorting/ root:root 0o755
/usr/share/acl2-6.5/books/std/ root:root 0o755
/usr/share/acl2-6.5/books/str/ root:root 0o755
/usr/share/acl2-6.5/books/system/ root:root 0o755
/usr/share/acl2-6.5/books/tau/ root:root 0o755
/usr/share/acl2-6.5/books/textbook/ root:root 0o755
/usr/share/acl2-6.5/books/tools/ root:root 0o755
/usr/share/acl2-6.5/books/unicode/ root:root 0o755
/usr/share/acl2-6.5/books/xdoc/ root:root 0o755

APT Browse - Built by Thomas Orozco.