/usr/share/acl2-7.1/books/rtl/rel10/ 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/rtl/rel10/lib/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/rtl/rel10/lib/add.cert
|
application/octet-stream | root:root | 0o644 | 126.9 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/basic.cert
|
application/octet-stream | root:root | 0o644 | 125.8 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/bits.cert
|
application/octet-stream | root:root | 0o644 | 143.3 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/div.cert
|
application/octet-stream | root:root | 0o644 | 122.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/doc.cert
|
application/octet-stream | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/float.cert
|
application/octet-stream | root:root | 0o644 | 125.9 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/gl.cert
|
application/octet-stream | root:root | 0o644 | 110.2 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/log.cert
|
application/octet-stream | root:root | 0o644 | 130.5 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/masc.cert
|
application/octet-stream | root:root | 0o644 | 112.6 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/mult.cert
|
application/octet-stream | root:root | 0o644 | 128.7 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/rcp.cert
|
application/octet-stream | root:root | 0o644 | 112.7 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/reps.cert
|
application/octet-stream | root:root | 0o644 | 131.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/round.cert
|
application/octet-stream | root:root | 0o644 | 160.0 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/sqrt.cert
|
application/octet-stream | root:root | 0o644 | 122.0 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/srt.cert
|
application/octet-stream | root:root | 0o644 | 159.7 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/top.cert
|
application/octet-stream | root:root | 0o644 | 113.3 KB |
/usr/share/acl2-7.1/books/rtl/rel10/lib/util.cert
|
application/octet-stream | root:root | 0o644 | 112.6 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/rtl/rel10/support/basic.cert
|
application/octet-stream | root:root | 0o644 | 109.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/bits.cert
|
application/octet-stream | root:root | 0o644 | 109.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/div.cert
|
application/octet-stream | root:root | 0o644 | 110.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/example.cert
|
application/octet-stream | root:root | 0o644 | 109.7 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/float.cert
|
application/octet-stream | root:root | 0o644 | 109.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/harrison.cert
|
application/octet-stream | root:root | 0o644 | 109.2 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/log.cert
|
application/octet-stream | root:root | 0o644 | 109.6 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/markstein.cert
|
application/octet-stream | root:root | 0o644 | 109.1 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/newton.cert
|
application/octet-stream | root:root | 0o644 | 109.3 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/rcp.cert
|
application/octet-stream | root:root | 0o644 | 58.1 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/reps.cert
|
application/octet-stream | root:root | 0o644 | 109.4 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/rnd-near-equal.cert
|
application/octet-stream | root:root | 0o644 | 109.5 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/round.cert
|
application/octet-stream | root:root | 0o644 | 109.7 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/sqrt.cert
|
application/octet-stream | root:root | 0o644 | 109.7 KB |
/usr/share/acl2-7.1/books/rtl/rel10/support/top.cert
|
application/octet-stream | root:root | 0o644 | 109.9 KB |