/usr/share/acl2-7.1/books/oslib/ 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/oslib/argv-logic.cert
|
application/octet-stream | root:root | 0o644 | 23.7 KB |
/usr/share/acl2-7.1/books/oslib/argv.cert
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/share/acl2-7.1/books/oslib/catpath.cert
|
application/octet-stream | root:root | 0o644 | 17.2 KB |
/usr/share/acl2-7.1/books/oslib/copy-logic.cert
|
application/octet-stream | root:root | 0o644 | 45.4 KB |
/usr/share/acl2-7.1/books/oslib/date-logic.cert
|
application/octet-stream | root:root | 0o644 | 12.7 KB |
/usr/share/acl2-7.1/books/oslib/date.cert
|
application/octet-stream | root:root | 0o644 | 17.0 KB |
/usr/share/acl2-7.1/books/oslib/dirname-logic.cert
|
application/octet-stream | root:root | 0o644 | 29.7 KB |
/usr/share/acl2-7.1/books/oslib/file-types-logic.cert
|
application/octet-stream | root:root | 0o644 | 76.7 KB |
/usr/share/acl2-7.1/books/oslib/getpid-logic.cert
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/share/acl2-7.1/books/oslib/getpid.cert
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/acl2-7.1/books/oslib/lisptype-logic.cert
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/share/acl2-7.1/books/oslib/lisptype.cert
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/acl2-7.1/books/oslib/ls-logic.cert
|
application/octet-stream | root:root | 0o644 | 42.8 KB |
/usr/share/acl2-7.1/books/oslib/mkdir-logic.cert
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/share/acl2-7.1/books/oslib/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/oslib/read-acl2-oracle.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/oslib/rmtree-logic.cert
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/share/acl2-7.1/books/oslib/rmtree.cert
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/acl2-7.1/books/oslib/tempfile-logic.cert
|
application/octet-stream | root:root | 0o644 | 29.0 KB |
/usr/share/acl2-7.1/books/oslib/tempfile.cert
|
application/octet-stream | root:root | 0o644 | 14.9 KB |
/usr/share/acl2-7.1/books/oslib/tests/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/oslib/tests/date.cert
|
application/octet-stream | root:root | 0o644 | 29.9 KB |
/usr/share/acl2-7.1/books/oslib/tests/getpid.cert
|
application/octet-stream | root:root | 0o644 | 16.2 KB |
/usr/share/acl2-7.1/books/oslib/tests/lisptype.cert
|
application/octet-stream | root:root | 0o644 | 16.3 KB |
/usr/share/acl2-7.1/books/oslib/top-logic.cert
|
application/octet-stream | root:root | 0o644 | 18.6 KB |