/usr/share/acl2-7.1/books/std/strings/ 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/std/strings/abbrevs.cert
|
application/octet-stream | root:root | 0o644 | 26.9 KB |
/usr/share/acl2-7.1/books/std/strings/arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/std/strings/base64.cert
|
application/octet-stream | root:root | 0o644 | 127.5 KB |
/usr/share/acl2-7.1/books/std/strings/binary.cert
|
application/octet-stream | root:root | 0o644 | 101.3 KB |
/usr/share/acl2-7.1/books/std/strings/case-conversion.cert
|
application/octet-stream | root:root | 0o644 | 73.0 KB |
/usr/share/acl2-7.1/books/std/strings/cat.cert
|
application/octet-stream | root:root | 0o644 | 36.3 KB |
/usr/share/acl2-7.1/books/std/strings/char-case.cert
|
application/octet-stream | root:root | 0o644 | 35.8 KB |
/usr/share/acl2-7.1/books/std/strings/char-fix.cert
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/share/acl2-7.1/books/std/strings/charset-fns.cert
|
application/octet-stream | root:root | 0o644 | 27.8 KB |
/usr/share/acl2-7.1/books/std/strings/charset.cert
|
application/octet-stream | root:root | 0o644 | 41.1 KB |
/usr/share/acl2-7.1/books/std/strings/coerce.cert
|
application/octet-stream | root:root | 0o644 | 18.2 KB |
/usr/share/acl2-7.1/books/std/strings/decimal.cert
|
application/octet-stream | root:root | 0o644 | 110.3 KB |
/usr/share/acl2-7.1/books/std/strings/defs-aux.cert
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/share/acl2-7.1/books/std/strings/defs-program.cert
|
application/octet-stream | root:root | 0o644 | 51.4 KB |
/usr/share/acl2-7.1/books/std/strings/defs.cert
|
application/octet-stream | root:root | 0o644 | 137.6 KB |
/usr/share/acl2-7.1/books/std/strings/eqv.cert
|
application/octet-stream | root:root | 0o644 | 22.7 KB |
/usr/share/acl2-7.1/books/std/strings/explode-atom.cert
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/share/acl2-7.1/books/std/strings/explode-nonnegative-integer.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/std/strings/fast-cat.cert
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/share/acl2-7.1/books/std/strings/firstn-chars.cert
|
application/octet-stream | root:root | 0o644 | 9.5 KB |
/usr/share/acl2-7.1/books/std/strings/hex.cert
|
application/octet-stream | root:root | 0o644 | 121.2 KB |
/usr/share/acl2-7.1/books/std/strings/hexify.cert
|
application/octet-stream | root:root | 0o644 | 19.9 KB |
/usr/share/acl2-7.1/books/std/strings/html-encode.cert
|
application/octet-stream | root:root | 0o644 | 43.9 KB |
/usr/share/acl2-7.1/books/std/strings/ieqv.cert
|
application/octet-stream | root:root | 0o644 | 23.6 KB |
/usr/share/acl2-7.1/books/std/strings/iless.cert
|
application/octet-stream | root:root | 0o644 | 18.1 KB |
/usr/share/acl2-7.1/books/std/strings/iprefixp.cert
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/share/acl2-7.1/books/std/strings/isort.cert
|
application/octet-stream | root:root | 0o644 | 21.2 KB |
/usr/share/acl2-7.1/books/std/strings/istrpos.cert
|
application/octet-stream | root:root | 0o644 | 12.6 KB |
/usr/share/acl2-7.1/books/std/strings/istrprefixp.cert
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/share/acl2-7.1/books/std/strings/isubstrp.cert
|
application/octet-stream | root:root | 0o644 | 14.5 KB |
/usr/share/acl2-7.1/books/std/strings/make-character-list.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/std/strings/octal.cert
|
application/octet-stream | root:root | 0o644 | 120.0 KB |
/usr/share/acl2-7.1/books/std/strings/pad.cert
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/share/acl2-7.1/books/std/strings/prefix-lines.cert
|
application/octet-stream | root:root | 0o644 | 10.3 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-defs-aux.cert
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-defs.cert
|
application/octet-stream | root:root | 0o644 | 100.1 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-program.cert
|
application/octet-stream | root:root | 0o644 | 44.6 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-tests.cert
|
application/octet-stream | root:root | 0o644 | 215.0 KB |
/usr/share/acl2-7.1/books/std/strings/pretty.cert
|
application/octet-stream | root:root | 0o644 | 523.2 KB |
/usr/share/acl2-7.1/books/std/strings/stringify.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/std/strings/strline.cert
|
application/octet-stream | root:root | 0o644 | 14.0 KB |
/usr/share/acl2-7.1/books/std/strings/strnatless.cert
|
application/octet-stream | root:root | 0o644 | 35.9 KB |
/usr/share/acl2-7.1/books/std/strings/strpos.cert
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/share/acl2-7.1/books/std/strings/strprefixp.cert
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/acl2-7.1/books/std/strings/strrpos.cert
|
application/octet-stream | root:root | 0o644 | 13.8 KB |
/usr/share/acl2-7.1/books/std/strings/strsplit.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/std/strings/strsubst.cert
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/share/acl2-7.1/books/std/strings/strtok.cert
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/share/acl2-7.1/books/std/strings/subseq.cert
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/share/acl2-7.1/books/std/strings/substrp.cert
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-7.1/books/std/strings/suffixp.cert
|
application/octet-stream | root:root | 0o644 | 10.3 KB |
/usr/share/acl2-7.1/books/std/strings/symbols.cert
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/share/acl2-7.1/books/std/strings/top.cert
|
application/octet-stream | root:root | 0o644 | 37.8 KB |