acl2-books-source 4.3-3 / usr / share / acl2-4.3 / books

This file is indexed.

/usr/share/acl2-4.3/books/ is in acl2-books-source 4.3-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-4.3/books/add-ons/ root:root 0o755
/usr/share/acl2-4.3/books/arithmetic/ root:root 0o755
/usr/share/acl2-4.3/books/arithmetic-2/ root:root 0o755
/usr/share/acl2-4.3/books/arithmetic-3/ root:root 0o755
/usr/share/acl2-4.3/books/arithmetic-4/ root:root 0o755
/usr/share/acl2-4.3/books/arithmetic-5/ root:root 0o755
/usr/share/acl2-4.3/books/bdd/ root:root 0o755
/usr/share/acl2-4.3/books/centaur/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/ root:root 0o755
/usr/share/acl2-4.3/books/coi/ root:root 0o755
/usr/share/acl2-4.3/books/concurrent-programs/ root:root 0o755
/usr/share/acl2-4.3/books/cowles/ root:root 0o755
/usr/share/acl2-4.3/books/cutil/ root:root 0o755
/usr/share/acl2-4.3/books/data-structures/ root:root 0o755
/usr/share/acl2-4.3/books/deduction/ root:root 0o755
/usr/share/acl2-4.3/books/defexec/ root:root 0o755
/usr/share/acl2-4.3/books/defsort/ root:root 0o755
/usr/share/acl2-4.3/books/finite-set-theory/ root:root 0o755
/usr/share/acl2-4.3/books/fix-cert/ root:root 0o755
/usr/share/acl2-4.3/books/hacking/ root:root 0o755
/usr/share/acl2-4.3/books/hints/ root:root 0o755
/usr/share/acl2-4.3/books/hons-archive/ root:root 0o755
/usr/share/acl2-4.3/books/ihs/ root:root 0o755
/usr/share/acl2-4.3/books/make-event/ root:root 0o755
/usr/share/acl2-4.3/books/meta/ root:root 0o755
/usr/share/acl2-4.3/books/misc/ root:root 0o755
/usr/share/acl2-4.3/books/models/ root:root 0o755
/usr/share/acl2-4.3/books/ordinals/ root:root 0o755
/usr/share/acl2-4.3/books/paco/ root:root 0o755
/usr/share/acl2-4.3/books/parallel/ root:root 0o755
/usr/share/acl2-4.3/books/powerlists/ root:root 0o755
/usr/share/acl2-4.3/books/proofstyles/ root:root 0o755
/usr/share/acl2-4.3/books/quadratic-reciprocity/ root:root 0o755
/usr/share/acl2-4.3/books/regex/ root:root 0o755
/usr/share/acl2-4.3/books/rtl/ root:root 0o755
/usr/share/acl2-4.3/books/security/ root:root 0o755
/usr/share/acl2-4.3/books/serialize/ root:root 0o755
/usr/share/acl2-4.3/books/sorting/ root:root 0o755
/usr/share/acl2-4.3/books/str/ root:root 0o755
/usr/share/acl2-4.3/books/symbolic/ root:root 0o755
/usr/share/acl2-4.3/books/system/ root:root 0o755
/usr/share/acl2-4.3/books/textbook/ root:root 0o755
/usr/share/acl2-4.3/books/tools/ root:root 0o755
/usr/share/acl2-4.3/books/tutorial-problems/ root:root 0o755
/usr/share/acl2-4.3/books/unicode/ root:root 0o755
/usr/share/acl2-4.3/books/wp-gen/ root:root 0o755
/usr/share/acl2-4.3/books/xdoc/ root:root 0o755

APT Browse - Built by Thomas Orozco.