acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books

This file is indexed.

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

APT Browse - Built by Thomas Orozco.