acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / centaur / bitops

This file is indexed.

/usr/share/acl2-6.3/books/centaur/bitops/ is in acl2-books-certs 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/bitops/ash-bounds.cert text/plain root:root 0o644 24.5 KB
/usr/share/acl2-6.3/books/centaur/bitops/bits-between.cert text/plain root:root 0o644 69.6 KB
/usr/share/acl2-6.3/books/centaur/bitops/bitsets-opt.cert text/plain root:root 0o644 35.3 KB
/usr/share/acl2-6.3/books/centaur/bitops/bitsets.cert text/plain root:root 0o644 126.4 KB
/usr/share/acl2-6.3/books/centaur/bitops/congruences.cert text/plain root:root 0o644 73.3 KB
/usr/share/acl2-6.3/books/centaur/bitops/defaults.cert text/plain root:root 0o644 26.8 KB
/usr/share/acl2-6.3/books/centaur/bitops/equal-by-logbitp.cert text/plain root:root 0o644 78.8 KB
/usr/share/acl2-6.3/books/centaur/bitops/extra-defs.cert text/plain root:root 0o644 160.7 KB
/usr/share/acl2-6.3/books/centaur/bitops/ihs-extensions.cert text/plain root:root 0o644 32.8 KB
/usr/share/acl2-6.3/books/centaur/bitops/ihsext-basics.cert text/plain root:root 0o644 216.7 KB
/usr/share/acl2-6.3/books/centaur/bitops/install-bit.cert text/plain root:root 0o644 58.7 KB
/usr/share/acl2-6.3/books/centaur/bitops/integer-length.cert text/plain root:root 0o644 17.8 KB
/usr/share/acl2-6.3/books/centaur/bitops/part-select.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/centaur/bitops/rotate.cert text/plain root:root 0o644 33.3 KB
/usr/share/acl2-6.3/books/centaur/bitops/saturate.cert text/plain root:root 0o644 24.3 KB
/usr/share/acl2-6.3/books/centaur/bitops/sbitsets.cert text/plain root:root 0o644 113.3 KB
/usr/share/acl2-6.3/books/centaur/bitops/sign-extend.cert text/html root:root 0o644 44.1 KB
/usr/share/acl2-6.3/books/centaur/bitops/signed-byte-p.cert text/plain root:root 0o644 7.8 KB
/usr/share/acl2-6.3/books/centaur/bitops/top.cert text/html root:root 0o644 37.0 KB

APT Browse - Built by Thomas Orozco.