acl2-books-certs 7.1-1 / usr / share / acl2-7.1 / books

This file is indexed.

/usr/share/acl2-7.1/books/ is in acl2-books-certs 7.1-1.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.1/books/acl2s/ root:root 0o755
/usr/share/acl2-7.1/books/add-ons/ root:root 0o755
/usr/share/acl2-7.1/books/arithmetic/ root:root 0o755
/usr/share/acl2-7.1/books/arithmetic-2/ root:root 0o755
/usr/share/acl2-7.1/books/arithmetic-3/ root:root 0o755
/usr/share/acl2-7.1/books/arithmetic-5/ root:root 0o755
/usr/share/acl2-7.1/books/bdd/ root:root 0o755
/usr/share/acl2-7.1/books/build/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/ root:root 0o755
/usr/share/acl2-7.1/books/clause-processors/ root:root 0o755
/usr/share/acl2-7.1/books/coi/ root:root 0o755
/usr/share/acl2-7.1/books/cowles/ root:root 0o755
/usr/share/acl2-7.1/books/data-structures/ root:root 0o755
/usr/share/acl2-7.1/books/defexec/ root:root 0o755
/usr/share/acl2-7.1/books/defsort/ root:root 0o755
/usr/share/acl2-7.1/books/demos/ root:root 0o755
/usr/share/acl2-7.1/books/finite-set-theory/ root:root 0o755
/usr/share/acl2-7.1/books/hacking/ root:root 0o755
/usr/share/acl2-7.1/books/hints/ root:root 0o755
/usr/share/acl2-7.1/books/ihs/ root:root 0o755
/usr/share/acl2-7.1/books/make-event/ root:root 0o755
/usr/share/acl2-7.1/books/meta/ root:root 0o755
/usr/share/acl2-7.1/books/misc/ root:root 0o755
/usr/share/acl2-7.1/books/models/ root:root 0o755
/usr/share/acl2-7.1/books/nonstd/ root:root 0o755
/usr/share/acl2-7.1/books/oracle/ root:root 0o755
/usr/share/acl2-7.1/books/ordinals/ root:root 0o755
/usr/share/acl2-7.1/books/oslib/ root:root 0o755
/usr/share/acl2-7.1/books/parsers/ root:root 0o755
/usr/share/acl2-7.1/books/powerlists/ root:root 0o755
/usr/share/acl2-7.1/books/projects/ root:root 0o755
/usr/share/acl2-7.1/books/proofstyles/ root:root 0o755
/usr/share/acl2-7.1/books/rtl/ root:root 0o755
/usr/share/acl2-7.1/books/sorting/ root:root 0o755
/usr/share/acl2-7.1/books/std/ root:root 0o755
/usr/share/acl2-7.1/books/system/ root:root 0o755
/usr/share/acl2-7.1/books/tau/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/ root:root 0o755
/usr/share/acl2-7.1/books/tools/ root:root 0o755
/usr/share/acl2-7.1/books/unicode/ root:root 0o755
/usr/share/acl2-7.1/books/xdoc/ root:root 0o755

APT Browse - Built by Thomas Orozco.