/usr/share/acl2-7.1/books/system/ is in acl2-books-certs 7.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/acl2-7.1/books/system/cantor-pairing-bijective.cert
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/share/acl2-7.1/books/system/compare-out-files.cert
|
application/octet-stream | root:root | 0o644 | 395 bytes |
/usr/share/acl2-7.1/books/system/convert-normalized-term-to-pairs.cert
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/share/acl2-7.1/books/system/dead-source-code.cert
|
application/octet-stream | root:root | 0o644 | 392 bytes |
/usr/share/acl2-7.1/books/system/deps-pcert.cert
|
application/octet-stream | root:root | 0o644 | 374 bytes |
/usr/share/acl2-7.1/books/system/doc/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/system/doc/acl2-doc-wrap.cert
|
application/octet-stream | root:root | 0o644 | 4.4 MB |
/usr/share/acl2-7.1/books/system/doc/acl2-doc.cert
|
application/octet-stream | root:root | 0o644 | 4.7 MB |
/usr/share/acl2-7.1/books/system/doc/convert-legacy-doc/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/system/doc/convert-legacy-doc/export-acl2doc.cert
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-7.1/books/system/doc/convert-legacy-doc/import-acl2doc.cert
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/share/acl2-7.1/books/system/doc/convert-legacy-doc/write-acl2-xdoc.cert
|
application/octet-stream | root:root | 0o644 | 961 bytes |
/usr/share/acl2-7.1/books/system/doc/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 856 bytes |
/usr/share/acl2-7.1/books/system/doc/render-doc-base.cert
|
application/octet-stream | root:root | 0o644 | 19.7 KB |
/usr/share/acl2-7.1/books/system/doc/render-doc.cert
|
application/octet-stream | root:root | 0o644 | 22.2 KB |
/usr/share/acl2-7.1/books/system/extend-pathname.cert
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-7.1/books/system/f-put-global.cert
|
application/octet-stream | root:root | 0o644 | 381 bytes |
/usr/share/acl2-7.1/books/system/fancy-string-reader-test.cert
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/share/acl2-7.1/books/system/gather-dcls.cert
|
application/octet-stream | root:root | 0o644 | 805 bytes |
/usr/share/acl2-7.1/books/system/hl-addr-combine.cert
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/share/acl2-7.1/books/system/hl-nat-combine-onto.cert
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/share/acl2-7.1/books/system/hons-check/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/system/hons-check/basic.cert
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/share/acl2-7.1/books/system/hons-check/hons-check.cert
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/share/acl2-7.1/books/system/hons-check/memoize-tests.cert
|
application/octet-stream | root:root | 0o644 | 7.0 KB |
/usr/share/acl2-7.1/books/system/legal-variablep.cert
|
application/octet-stream | root:root | 0o644 | 814 bytes |
/usr/share/acl2-7.1/books/system/meta-extract.cert
|
application/octet-stream | root:root | 0o644 | 720 bytes |
/usr/share/acl2-7.1/books/system/optimize-check-aux.cert
|
application/octet-stream | root:root | 0o644 | 397 bytes |
/usr/share/acl2-7.1/books/system/optimize-check.cert
|
application/octet-stream | root:root | 0o644 | 484 bytes |
/usr/share/acl2-7.1/books/system/origin.cert
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/share/acl2-7.1/books/system/parallel/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/system/parallel/hint-tests.cert
|
application/octet-stream | root:root | 0o644 | 384 bytes |
/usr/share/acl2-7.1/books/system/parallel/spec-mv-let.cert
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/share/acl2-7.1/books/system/parallel/stress-tests.cert
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/share/acl2-7.1/books/system/parallel/syntax-tests.cert
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/share/acl2-7.1/books/system/pseudo-good-worldp.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/system/pseudo-termp-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 402 bytes |
/usr/share/acl2-7.1/books/system/random.cert
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/share/acl2-7.1/books/system/subcor-var.cert
|
application/octet-stream | root:root | 0o644 | 815 bytes |
/usr/share/acl2-7.1/books/system/sublis-var.cert
|
application/octet-stream | root:root | 0o644 | 765 bytes |
/usr/share/acl2-7.1/books/system/subst-expr.cert
|
application/octet-stream | root:root | 0o644 | 920 bytes |
/usr/share/acl2-7.1/books/system/subst-var.cert
|
application/octet-stream | root:root | 0o644 | 784 bytes |
/usr/share/acl2-7.1/books/system/too-many-ifs.cert
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/share/acl2-7.1/books/system/toothbrush-deps.cert
|
application/octet-stream | root:root | 0o644 | 830 bytes |
/usr/share/acl2-7.1/books/system/top.cert
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/share/acl2-7.1/books/system/untranslate-car-cdr.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/system/update-state.cert
|
application/octet-stream | root:root | 0o644 | 380 bytes |
/usr/share/acl2-7.1/books/system/verified-termination-and-guards.cert
|
application/octet-stream | root:root | 0o644 | 438 bytes |
/usr/share/acl2-7.1/books/system/worldp-check.cert
|
application/octet-stream | root:root | 0o644 | 756 bytes |