/usr/share/acl2-7.1/books/system/pcert/ is in acl2-books 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/pcert/acl2x-pcert-test-1.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/acl2x-pcert-test-2-include.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/acl2x-pcert-test-2.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/elide-test.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/mid.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/pkg-test.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/sub.o
|
root:root | 0o777 | ||
/usr/share/acl2-7.1/books/system/pcert/top.o
|
root:root | 0o777 |