This file is indexed.

/usr/ is in acl2-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/usr/share/acl2-8.0dfsg/ root:root 0o755
/usr/share/acl2-8.0dfsg/TAGS application/octet-stream root:root 0o644 335.5 KB
/usr/share/acl2-8.0dfsg/acl2-check.lisp text/plain root:root 0o644 15.9 KB
/usr/share/acl2-8.0dfsg/acl2-fns.lisp text/x-lisp root:root 0o644 90.0 KB
/usr/share/acl2-8.0dfsg/acl2-init.lisp text/plain root:root 0o644 96.1 KB
/usr/share/acl2-8.0dfsg/acl2-proclaims.lisp text/plain root:root 0o644 277.8 KB
/usr/share/acl2-8.0dfsg/acl2.lisp text/x-lisp root:root 0o644 107.0 KB
/usr/share/acl2-8.0dfsg/acl2r.lisp text/plain root:root 0o644 56 bytes
/usr/share/acl2-8.0dfsg/akcl-acl2-trace.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-8.0dfsg/allegro-acl2-trace.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-8.0dfsg/apply-constraints.lisp text/plain root:root 0o644 12.3 KB
/usr/share/acl2-8.0dfsg/apply-prim.lisp text/plain root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/apply-raw.lisp text/x-lisp root:root 0o644 137.8 KB
/usr/share/acl2-8.0dfsg/apply.lisp text/plain root:root 0o644 93.7 KB
/usr/share/acl2-8.0dfsg/axioms.lisp text/plain root:root 0o644 1.0 MB
/usr/share/acl2-8.0dfsg/basis-a.lisp text/plain root:root 0o644 297.0 KB
/usr/share/acl2-8.0dfsg/basis-b.lisp text/x-lisp root:root 0o644 164.4 KB
/usr/share/acl2-8.0dfsg/bdd.lisp text/plain root:root 0o644 130.9 KB
/usr/share/acl2-8.0dfsg/boot-strap-pass-2-a.lisp text/plain root:root 0o644 47.0 KB
/usr/share/acl2-8.0dfsg/boot-strap-pass-2-b.lisp text/x-lisp root:root 0o644 30.4 KB
/usr/share/acl2-8.0dfsg/defpkgs.lisp text/plain root:root 0o644 29.5 KB
/usr/share/acl2-8.0dfsg/defthm.lisp text/x-lisp root:root 0o644 520.5 KB
/usr/share/acl2-8.0dfsg/defuns.lisp text/x-lisp root:root 0o644 411.6 KB
/usr/share/acl2-8.0dfsg/doc.lisp text/plain root:root 0o644 4.8 MB
/usr/share/acl2-8.0dfsg/futures-raw.lisp text/x-lisp root:root 0o644 58.0 KB
/usr/share/acl2-8.0dfsg/history-management.lisp text/plain root:root 0o644 704.3 KB
/usr/share/acl2-8.0dfsg/hons-raw.lisp text/plain root:root 0o644 173.1 KB
/usr/share/acl2-8.0dfsg/hons.lisp text/x-lisp root:root 0o644 9.6 KB
/usr/share/acl2-8.0dfsg/induct.lisp text/x-lisp root:root 0o644 147.6 KB
/usr/share/acl2-8.0dfsg/init.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/interface-raw.lisp text/x-lisp root:root 0o644 442.7 KB
/usr/share/acl2-8.0dfsg/ld.lisp text/x-lisp root:root 0o644 206.8 KB
/usr/share/acl2-8.0dfsg/linear-a.lisp text/x-lisp root:root 0o644 149.5 KB
/usr/share/acl2-8.0dfsg/linear-b.lisp text/x-lisp root:root 0o644 40.8 KB
/usr/share/acl2-8.0dfsg/mcl-acl2-startup.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/memoize-raw.lisp text/plain root:root 0o644 208.9 KB
/usr/share/acl2-8.0dfsg/memoize.lisp text/x-lisp root:root 0o644 15.7 KB
/usr/share/acl2-8.0dfsg/multi-threading-raw.lisp text/plain root:root 0o644 42.8 KB
/usr/share/acl2-8.0dfsg/non-linear.lisp text/x-lisp root:root 0o644 40.8 KB
/usr/share/acl2-8.0dfsg/openmcl-acl2-trace.lisp text/x-lisp root:root 0o644 9.0 KB
/usr/share/acl2-8.0dfsg/other-events.lisp text/x-lisp root:root 0o644 1.3 MB
/usr/share/acl2-8.0dfsg/other-processes.lisp text/x-lisp root:root 0o644 105.0 KB
/usr/share/acl2-8.0dfsg/parallel-raw.lisp text/plain root:root 0o644 60.0 KB
/usr/share/acl2-8.0dfsg/parallel.lisp text/x-lisp root:root 0o644 40.6 KB
/usr/share/acl2-8.0dfsg/proof-builder-a.lisp text/x-lisp root:root 0o644 63.6 KB
/usr/share/acl2-8.0dfsg/proof-builder-b.lisp text/x-lisp root:root 0o644 207.2 KB
/usr/share/acl2-8.0dfsg/proof-builder-pkg.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/prove.lisp text/x-lisp root:root 0o644 412.2 KB
/usr/share/acl2-8.0dfsg/rewrite.lisp text/plain root:root 0o644 767.1 KB
/usr/share/acl2-8.0dfsg/serialize-raw.lisp text/plain root:root 0o644 66.9 KB
/usr/share/acl2-8.0dfsg/serialize.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/simplify.lisp text/x-lisp root:root 0o644 433.1 KB
/usr/share/acl2-8.0dfsg/tau.lisp text/x-lisp root:root 0o644 575.7 KB
/usr/share/acl2-8.0dfsg/translate.lisp text/x-lisp root:root 0o644 472.4 KB
/usr/share/acl2-8.0dfsg/type-set-a.lisp text/plain root:root 0o644 40.5 KB
/usr/share/acl2-8.0dfsg/type-set-b.lisp text/x-lisp root:root 0o644 537.0 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 900 bytes
/usr/share/doc/acl2-source/copyright text/plain root:root 0o644 7.6 KB