acl2-books-source 6.3-5 / usr / share / acl2-6.3 / books / centaur

This file is indexed.

/usr/share/acl2-6.3/books/centaur/ is in acl2-books-source 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/centaur/4v-sexpr/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/aig/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/aignet/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/bitops/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/bridge/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/clex/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/defrstobj/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/doc.acl2 text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/centaur/doc.lisp text/plain root:root 0o644 26.5 KB
/usr/share/acl2-6.3/books/centaur/esim/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/getopt/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/gl/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/misc/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/quicklisp/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/regression/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/satlink/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/tutorial/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/ubdds/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/vcd/ root:root 0o755
/usr/share/acl2-6.3/books/centaur/vl/ root:root 0o755

APT Browse - Built by Thomas Orozco.