acl2-books 6.3-5 / usr / lib / acl2-6.3 / books

This file is indexed.

/usr/lib/acl2-6.3/books/ is in acl2-books 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/lib/acl2-6.3/books/add-ons/ root:root 0o755
/usr/lib/acl2-6.3/books/arithmetic/ root:root 0o755
/usr/lib/acl2-6.3/books/arithmetic-2/ root:root 0o755
/usr/lib/acl2-6.3/books/arithmetic-3/ root:root 0o755
/usr/lib/acl2-6.3/books/arithmetic-5/ root:root 0o755
/usr/lib/acl2-6.3/books/bdd/ root:root 0o755
/usr/lib/acl2-6.3/books/ccg/ root:root 0o755
/usr/lib/acl2-6.3/books/centaur/ root:root 0o755
/usr/lib/acl2-6.3/books/cgen/ root:root 0o755
/usr/lib/acl2-6.3/books/clause-processors/ root:root 0o755
/usr/lib/acl2-6.3/books/coi/ root:root 0o755
/usr/lib/acl2-6.3/books/concurrent-programs/ root:root 0o755
/usr/lib/acl2-6.3/books/cowles/ root:root 0o755
/usr/lib/acl2-6.3/books/cutil/ root:root 0o755
/usr/lib/acl2-6.3/books/data-structures/ root:root 0o755
/usr/lib/acl2-6.3/books/deduction/ root:root 0o755
/usr/lib/acl2-6.3/books/defexec/ root:root 0o755
/usr/lib/acl2-6.3/books/defsort/ root:root 0o755
/usr/lib/acl2-6.3/books/demos/ root:root 0o755
/usr/lib/acl2-6.3/books/finite-set-theory/ root:root 0o755
/usr/lib/acl2-6.3/books/fix-cert/ root:root 0o755
/usr/lib/acl2-6.3/books/hacking/ root:root 0o755
/usr/lib/acl2-6.3/books/hints/ root:root 0o755
/usr/lib/acl2-6.3/books/ihs/ root:root 0o755
/usr/lib/acl2-6.3/books/leftist-trees/ root:root 0o755
/usr/lib/acl2-6.3/books/make-event/ root:root 0o755
/usr/lib/acl2-6.3/books/memoize/ root:root 0o755
/usr/lib/acl2-6.3/books/meta/ root:root 0o755
/usr/lib/acl2-6.3/books/misc/ root:root 0o755
/usr/lib/acl2-6.3/books/models/ root:root 0o755
/usr/lib/acl2-6.3/books/ordinals/ root:root 0o755
/usr/lib/acl2-6.3/books/oslib/ root:root 0o755
/usr/lib/acl2-6.3/books/paco/ root:root 0o755
/usr/lib/acl2-6.3/books/parallel/ root:root 0o755
/usr/lib/acl2-6.3/books/parsers/ root:root 0o755
/usr/lib/acl2-6.3/books/powerlists/ root:root 0o755
/usr/lib/acl2-6.3/books/proofstyles/ root:root 0o755
/usr/lib/acl2-6.3/books/quadratic-reciprocity/ root:root 0o755
/usr/lib/acl2-6.3/books/regex/ root:root 0o755
/usr/lib/acl2-6.3/books/rtl/ root:root 0o755
/usr/lib/acl2-6.3/books/security/ root:root 0o755
/usr/lib/acl2-6.3/books/serialize/ root:root 0o755
/usr/lib/acl2-6.3/books/sorting/ root:root 0o755
/usr/lib/acl2-6.3/books/std/ root:root 0o755
/usr/lib/acl2-6.3/books/str/ root:root 0o755
/usr/lib/acl2-6.3/books/symbolic/ root:root 0o755
/usr/lib/acl2-6.3/books/system/ root:root 0o755
/usr/lib/acl2-6.3/books/taspi/ root:root 0o755
/usr/lib/acl2-6.3/books/tau/ root:root 0o755
/usr/lib/acl2-6.3/books/textbook/ root:root 0o755
/usr/lib/acl2-6.3/books/tools/ root:root 0o755
/usr/lib/acl2-6.3/books/translators/ root:root 0o755
/usr/lib/acl2-6.3/books/tutorial-problems/ root:root 0o755
/usr/lib/acl2-6.3/books/unicode/ root:root 0o755
/usr/lib/acl2-6.3/books/wp-gen/ root:root 0o755
/usr/lib/acl2-6.3/books/xdoc/ root:root 0o755

APT Browse - Built by Thomas Orozco.