acl2-books-source 6.5-2 / usr / share / acl2-6.5 / books / centaur

This file is indexed.

/usr/share/acl2-6.5/books/centaur/ is in acl2-books-source 6.5-2.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.5/books/centaur/4v-sexpr/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/aig/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/aignet/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/bed/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/bitops/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/bridge/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/clex/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/defrstobj/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/esim/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/fty/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/getopt/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/gl/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/memoize/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/misc/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/nrev/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/quicklisp/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/regression/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/satlink/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/tutorial/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/ubdds/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/vcd/ root:root 0o755
/usr/share/acl2-6.5/books/centaur/vl/ root:root 0o755

APT Browse - Built by Thomas Orozco.