acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / coi / gacc

This file is indexed.

/usr/share/acl2-6.3/books/coi/gacc/ 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/coi/gacc/abstract-gacc.cert text/plain root:root 0o644 88.2 KB
/usr/share/acl2-6.3/books/coi/gacc/addr-range.cert text/plain root:root 0o644 88.4 KB
/usr/share/acl2-6.3/books/coi/gacc/bits.cert text/plain root:root 0o644 105.0 KB
/usr/share/acl2-6.3/books/coi/gacc/block.cert text/plain root:root 0o644 88.2 KB
/usr/share/acl2-6.3/books/coi/gacc/finite.cert text/plain root:root 0o644 129.1 KB
/usr/share/acl2-6.3/books/coi/gacc/fr-path-connection.cert text/plain root:root 0o644 119.8 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc-exports.cert text/plain root:root 0o644 81.6 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc-pkg.cert text/plain root:root 0o644 81.6 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc.cert text/plain root:root 0o644 124.8 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc2.cert text/plain root:root 0o644 130.7 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc3.cert text/plain root:root 0o644 129.4 KB
/usr/share/acl2-6.3/books/coi/gacc/gax.cert text/plain root:root 0o644 128.9 KB
/usr/share/acl2-6.3/books/coi/gacc/list-ops-common.cert text/plain root:root 0o644 108.4 KB
/usr/share/acl2-6.3/books/coi/gacc/list-ops-fast.cert text/plain root:root 0o644 115.8 KB
/usr/share/acl2-6.3/books/coi/gacc/list-ops.cert text/plain root:root 0o644 109.4 KB
/usr/share/acl2-6.3/books/coi/gacc/mem-fast.cert text/plain root:root 0o644 111.2 KB
/usr/share/acl2-6.3/books/coi/gacc/mem.cert text/plain root:root 0o644 105.0 KB
/usr/share/acl2-6.3/books/coi/gacc/ram.cert text/plain root:root 0o644 111.3 KB
/usr/share/acl2-6.3/books/coi/gacc/ram0.cert text/plain root:root 0o644 106.5 KB
/usr/share/acl2-6.3/books/coi/gacc/ram2.cert text/plain root:root 0o644 116.2 KB
/usr/share/acl2-6.3/books/coi/gacc/ram2b.cert text/plain root:root 0o644 116.6 KB
/usr/share/acl2-6.3/books/coi/gacc/ram3.cert text/plain root:root 0o644 116.5 KB
/usr/share/acl2-6.3/books/coi/gacc/top.cert text/plain root:root 0o644 129.6 KB
/usr/share/acl2-6.3/books/coi/gacc/tr-path-connection.cert text/plain root:root 0o644 112.0 KB
/usr/share/acl2-6.3/books/coi/gacc/wrap.cert text/plain root:root 0o644 108.2 KB

APT Browse - Built by Thomas Orozco.