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

This file is indexed.

/usr/share/acl2-8.0dfsg/books/centaur/ 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/centaur/4v-sexpr/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/aig/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/aignet/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/bed/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/bitops/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/bridge/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/clex/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/defrstobj/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/depgraph/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/esim/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/fty/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/getopt/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/gl/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/glmc/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/ipasir/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/lispfloat/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/memoize/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/misc/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/nrev/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/quicklisp/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/satlink/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/sv/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/truth/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/ubdds/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/vl/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/vl2014/ root:root 0o755

APT Browse - Built by Thomas Orozco.