/usr/share/acl2-7.1/books/make-event/ 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/make-event/acl2x-help-test.cert
|
application/octet-stream | root:root | 0o644 | 650 bytes |
/usr/share/acl2-7.1/books/make-event/acl2x-help.cert
|
application/octet-stream | root:root | 0o644 | 558 bytes |
/usr/share/acl2-7.1/books/make-event/assert-check-include-1.cert
|
application/octet-stream | root:root | 0o644 | 891 bytes |
/usr/share/acl2-7.1/books/make-event/assert-check-include.cert
|
application/octet-stream | root:root | 0o644 | 746 bytes |
/usr/share/acl2-7.1/books/make-event/assert-check.cert
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/share/acl2-7.1/books/make-event/assert-include.cert
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/share/acl2-7.1/books/make-event/basic-check.cert
|
application/octet-stream | root:root | 0o644 | 654 bytes |
/usr/share/acl2-7.1/books/make-event/basic-pkg-check.cert
|
application/octet-stream | root:root | 0o644 | 844 bytes |
/usr/share/acl2-7.1/books/make-event/basic-pkg.cert
|
application/octet-stream | root:root | 0o644 | 764 bytes |
/usr/share/acl2-7.1/books/make-event/basic.cert
|
application/octet-stream | root:root | 0o644 | 967 bytes |
/usr/share/acl2-7.1/books/make-event/defconst-fast-examples.cert
|
application/octet-stream | root:root | 0o644 | 889 bytes |
/usr/share/acl2-7.1/books/make-event/defconst-fast.cert
|
application/octet-stream | root:root | 0o644 | 388 bytes |
/usr/share/acl2-7.1/books/make-event/defrefine.cert
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/share/acl2-7.1/books/make-event/defrule.cert
|
application/octet-stream | root:root | 0o644 | 672 bytes |
/usr/share/acl2-7.1/books/make-event/defspec.cert
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/share/acl2-7.1/books/make-event/dotimes.cert
|
application/octet-stream | root:root | 0o644 | 841 bytes |
/usr/share/acl2-7.1/books/make-event/double-cert-test-1.cert
|
application/octet-stream | root:root | 0o644 | 738 bytes |
/usr/share/acl2-7.1/books/make-event/double-cert-test.cert
|
application/octet-stream | root:root | 0o644 | 558 bytes |
/usr/share/acl2-7.1/books/make-event/embeddable-event-forms.cert
|
application/octet-stream | root:root | 0o644 | 415 bytes |
/usr/share/acl2-7.1/books/make-event/eval-check-tests.cert
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/share/acl2-7.1/books/make-event/eval-check.cert
|
application/octet-stream | root:root | 0o644 | 379 bytes |
/usr/share/acl2-7.1/books/make-event/eval-tests.cert
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/share/acl2-7.1/books/make-event/gen-defthm-check.cert
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/share/acl2-7.1/books/make-event/gen-defthm.cert
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/share/acl2-7.1/books/make-event/gen-defun-check.cert
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/acl2-7.1/books/make-event/gen-defun.cert
|
application/octet-stream | root:root | 0o644 | 741 bytes |
/usr/share/acl2-7.1/books/make-event/inline-book.cert
|
application/octet-stream | root:root | 0o644 | 381 bytes |
/usr/share/acl2-7.1/books/make-event/local-elided-include.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/make-event/local-elided.cert
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/share/acl2-7.1/books/make-event/local-requires-skip-check-include.cert
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/acl2-7.1/books/make-event/local-requires-skip-check.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/make-event/logical-tangent.cert
|
application/octet-stream | root:root | 0o644 | 394 bytes |
/usr/share/acl2-7.1/books/make-event/macros-include.cert
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/share/acl2-7.1/books/make-event/macros-skip-proofs-include.cert
|
application/octet-stream | root:root | 0o644 | 657 bytes |
/usr/share/acl2-7.1/books/make-event/macros-skip-proofs.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/make-event/macros.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/make-event/make-event-keywords-or-exp-check.cert
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/share/acl2-7.1/books/make-event/make-event-keywords-or-exp.cert
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/acl2-7.1/books/make-event/make-redundant.cert
|
application/octet-stream | root:root | 0o644 | 391 bytes |
/usr/share/acl2-7.1/books/make-event/nested-check.cert
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/share/acl2-7.1/books/make-event/nested.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/make-event/portcullis-expansion-include.cert
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/share/acl2-7.1/books/make-event/portcullis-expansion.cert
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.1/books/make-event/proof-by-arith.cert
|
application/octet-stream | root:root | 0o644 | 21.5 KB |
/usr/share/acl2-7.1/books/make-event/read-from-file.cert
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/share/acl2-7.1/books/make-event/require-book.cert
|
application/octet-stream | root:root | 0o644 | 384 bytes |
/usr/share/acl2-7.1/books/make-event/stobj-test.cert
|
application/octet-stream | root:root | 0o644 | 969 bytes |
/usr/share/acl2-7.1/books/make-event/test-case-check.cert
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/share/acl2-7.1/books/make-event/test-case.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |