/usr/share/info/ is in acl2-doc 6.3-5.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/info/acl2-doc-emacs.info-1.gz
|
application/gzip | root:root | 0o644 | 93.8 KB |
/usr/share/info/acl2-doc-emacs.info-10.gz
|
application/gzip | root:root | 0o644 | 78.7 KB |
/usr/share/info/acl2-doc-emacs.info-11.gz
|
application/gzip | root:root | 0o644 | 97.1 KB |
/usr/share/info/acl2-doc-emacs.info-12.gz
|
application/gzip | root:root | 0o644 | 93.3 KB |
/usr/share/info/acl2-doc-emacs.info-13.gz
|
application/gzip | root:root | 0o644 | 83.9 KB |
/usr/share/info/acl2-doc-emacs.info-14.gz
|
application/gzip | root:root | 0o644 | 79.2 KB |
/usr/share/info/acl2-doc-emacs.info-15.gz
|
application/gzip | root:root | 0o644 | 26.6 KB |
/usr/share/info/acl2-doc-emacs.info-2.gz
|
application/gzip | root:root | 0o644 | 83.3 KB |
/usr/share/info/acl2-doc-emacs.info-3.gz
|
application/gzip | root:root | 0o644 | 90.5 KB |
/usr/share/info/acl2-doc-emacs.info-4.gz
|
application/gzip | root:root | 0o644 | 84.6 KB |
/usr/share/info/acl2-doc-emacs.info-5.gz
|
application/gzip | root:root | 0o644 | 90.5 KB |
/usr/share/info/acl2-doc-emacs.info-6.gz
|
application/gzip | root:root | 0o644 | 86.3 KB |
/usr/share/info/acl2-doc-emacs.info-7.gz
|
application/gzip | root:root | 0o644 | 90.4 KB |
/usr/share/info/acl2-doc-emacs.info-8.gz
|
application/gzip | root:root | 0o644 | 78.0 KB |
/usr/share/info/acl2-doc-emacs.info-9.gz
|
application/gzip | root:root | 0o644 | 81.6 KB |
/usr/share/info/acl2-doc-emacs.info.gz
|
application/gzip | root:root | 0o644 | 15.5 KB |