/usr/share/ is in acl2-source 7.1-1.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/share/acl2-7.1/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/type-set-a.lisp
|
text/plain | root:root | 0o644 | 37.4 KB |
/usr/share/acl2-7.1/doc.lisp
|
text/plain | root:root | 0o644 | 4.3 MB |
/usr/share/acl2-7.1/other-events.lisp
|
text/x-lisp | root:root | 0o644 | 1.3 MB |
/usr/share/acl2-7.1/parallel.lisp
|
text/x-lisp | root:root | 0o644 | 40.7 KB |
/usr/share/acl2-7.1/other-processes.lisp
|
text/x-lisp | root:root | 0o644 | 105.9 KB |
/usr/share/acl2-7.1/multi-threading-raw.lisp
|
text/plain | root:root | 0o644 | 42.8 KB |
/usr/share/acl2-7.1/acl2r.lisp
|
text/plain | root:root | 0o644 | 56 bytes |
/usr/share/acl2-7.1/acl2.lisp
|
text/x-lisp | root:root | 0o644 | 101.4 KB |
/usr/share/acl2-7.1/basis-b.lisp
|
text/x-lisp | root:root | 0o644 | 158.8 KB |
/usr/share/acl2-7.1/proof-checker-b.lisp
|
text/x-lisp | root:root | 0o644 | 210.2 KB |
/usr/share/acl2-7.1/init.lisp
|
text/x-lisp | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.1/bdd.lisp
|
text/plain | root:root | 0o644 | 131.2 KB |
/usr/share/acl2-7.1/mcl-acl2-startup.lisp
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-7.1/defpkgs.lisp
|
text/plain | root:root | 0o644 | 27.2 KB |
/usr/share/acl2-7.1/ld.lisp
|
text/x-lisp | root:root | 0o644 | 195.7 KB |
/usr/share/acl2-7.1/boot-strap-pass-2.lisp
|
text/x-lisp | root:root | 0o644 | 63.2 KB |
/usr/share/acl2-7.1/prove.lisp
|
text/x-lisp | root:root | 0o644 | 420.0 KB |
/usr/share/acl2-7.1/tau.lisp
|
text/x-lisp | root:root | 0o644 | 572.9 KB |
/usr/share/acl2-7.1/defthm.lisp
|
text/x-lisp | root:root | 0o644 | 467.3 KB |
/usr/share/acl2-7.1/defuns.lisp
|
text/x-lisp | root:root | 0o644 | 403.8 KB |
/usr/share/acl2-7.1/memoize-raw.lisp
|
text/plain | root:root | 0o644 | 214.8 KB |
/usr/share/acl2-7.1/proof-checker-pkg.lisp
|
text/plain | root:root | 0o644 | 904 bytes |
/usr/share/acl2-7.1/rewrite.lisp
|
text/plain | root:root | 0o644 | 749.3 KB |
/usr/share/acl2-7.1/acl2-init.lisp
|
text/plain | root:root | 0o644 | 83.0 KB |
/usr/share/acl2-7.1/hons.lisp
|
text/plain | root:root | 0o644 | 9.2 KB |
/usr/share/acl2-7.1/serialize.lisp
|
text/x-lisp | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/translate.lisp
|
text/x-lisp | root:root | 0o644 | 430.5 KB |
/usr/share/acl2-7.1/non-linear.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/TAGS
|
application/octet-stream | root:root | 0o644 | 320.8 KB |
/usr/share/acl2-7.1/induct.lisp
|
text/x-lisp | root:root | 0o644 | 138.3 KB |
/usr/share/acl2-7.1/serialize-raw.lisp
|
text/plain | root:root | 0o644 | 66.6 KB |
/usr/share/acl2-7.1/acl2-proclaims.lisp
|
text/plain | root:root | 0o644 | 207.1 KB |
/usr/share/acl2-7.1/parallel-raw.lisp
|
text/plain | root:root | 0o644 | 60.0 KB |
/usr/share/acl2-7.1/linear-b.lisp
|
text/x-lisp | root:root | 0o644 | 37.5 KB |
/usr/share/acl2-7.1/hons-raw.lisp
|
text/plain | root:root | 0o644 | 171.8 KB |
/usr/share/acl2-7.1/futures-raw.lisp
|
text/x-lisp | root:root | 0o644 | 58.1 KB |
/usr/share/acl2-7.1/proof-checker-a.lisp
|
text/x-lisp | root:root | 0o644 | 64.1 KB |
/usr/share/acl2-7.1/interface-raw.lisp
|
text/plain | root:root | 0o644 | 412.6 KB |
/usr/share/acl2-7.1/history-management.lisp
|
text/plain | root:root | 0o644 | 708.7 KB |
/usr/share/acl2-7.1/allegro-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-7.1/axioms.lisp
|
text/plain | root:root | 0o644 | 997.2 KB |
/usr/share/acl2-7.1/memoize.lisp
|
text/x-lisp | root:root | 0o644 | 15.7 KB |
/usr/share/acl2-7.1/acl2-fns.lisp
|
text/x-lisp | root:root | 0o644 | 84.2 KB |
/usr/share/acl2-7.1/acl2-check.lisp
|
text/plain | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-7.1/type-set-b.lisp
|
text/x-lisp | root:root | 0o644 | 505.1 KB |
/usr/share/acl2-7.1/linear-a.lisp
|
text/x-lisp | root:root | 0o644 | 149.2 KB |
/usr/share/acl2-7.1/akcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.1/openmcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.1/basis-a.lisp
|
text/x-lisp | root:root | 0o644 | 285.3 KB |
/usr/share/acl2-7.1/simplify.lisp
|
text/x-lisp | root:root | 0o644 | 398.3 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/acl2-source/
|
root:root | 0o755 | ||
/usr/share/doc/acl2-source/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 650 bytes |
/usr/share/doc/acl2-source/copyright
|
text/plain | root:root | 0o644 | 7.6 KB |