This file is indexed.

/usr/ is in acl2-source 6.5-2.

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

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/usr/share/acl2-6.5/ root:root 0o755
/usr/share/acl2-6.5/futures-raw.lisp text/x-lisp root:root 0o644 57.4 KB
/usr/share/acl2-6.5/parallel.lisp text/x-lisp root:root 0o644 40.8 KB
/usr/share/acl2-6.5/defthm.lisp text/x-lisp root:root 0o644 462.6 KB
/usr/share/acl2-6.5/type-set-a.lisp text/plain root:root 0o644 37.4 KB
/usr/share/acl2-6.5/acl2-fns.lisp text/x-lisp root:root 0o644 66.5 KB
/usr/share/acl2-6.5/hons.lisp text/plain root:root 0o644 9.1 KB
/usr/share/acl2-6.5/bdd.lisp text/plain root:root 0o644 131.2 KB
/usr/share/acl2-6.5/defpkgs.lisp text/plain root:root 0o644 27.0 KB
/usr/share/acl2-6.5/proof-checker-b.lisp text/x-lisp root:root 0o644 205.2 KB
/usr/share/acl2-6.5/mcl-acl2-startup.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-6.5/linear-b.lisp text/x-lisp root:root 0o644 37.5 KB
/usr/share/acl2-6.5/acl2.lisp text/x-lisp root:root 0o644 100.0 KB
/usr/share/acl2-6.5/defuns.lisp text/x-lisp root:root 0o644 403.8 KB
/usr/share/acl2-6.5/simplify.lisp text/x-lisp root:root 0o644 397.5 KB
/usr/share/acl2-6.5/serialize.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.5/hons-raw.lisp text/plain root:root 0o644 166.5 KB
/usr/share/acl2-6.5/boot-strap-pass-2.lisp text/x-lisp root:root 0o644 55.8 KB
/usr/share/acl2-6.5/rewrite.lisp text/plain root:root 0o644 819.5 KB
/usr/share/acl2-6.5/openmcl-acl2-trace.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-6.5/akcl-acl2-trace.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-6.5/TAGS application/octet-stream root:root 0o644 320.5 KB
/usr/share/acl2-6.5/type-set-b.lisp text/x-lisp root:root 0o644 497.5 KB
/usr/share/acl2-6.5/interface-raw.lisp text/plain root:root 0o644 405.5 KB
/usr/share/acl2-6.5/acl2r.lisp application/octet-stream root:root 0o644 1 byte
/usr/share/acl2-6.5/proof-checker-a.lisp text/x-lisp root:root 0o644 63.2 KB
/usr/share/acl2-6.5/acl2-check.lisp text/plain root:root 0o644 15.9 KB
/usr/share/acl2-6.5/acl2-init.lisp text/plain root:root 0o644 84.5 KB
/usr/share/acl2-6.5/ld.lisp text/x-lisp root:root 0o644 195.1 KB
/usr/share/acl2-6.5/linear-a.lisp text/x-lisp root:root 0o644 149.2 KB
/usr/share/acl2-6.5/basis.lisp text/x-lisp root:root 0o644 374.4 KB
/usr/share/acl2-6.5/init.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-6.5/serialize-raw.lisp text/plain root:root 0o644 66.6 KB
/usr/share/acl2-6.5/other-events.lisp text/x-lisp root:root 0o644 1.3 MB
/usr/share/acl2-6.5/allegro-acl2-trace.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-6.5/other-processes.lisp text/x-lisp root:root 0o644 104.9 KB
/usr/share/acl2-6.5/multi-threading-raw.lisp text/plain root:root 0o644 45.3 KB
/usr/share/acl2-6.5/memoize-raw.lisp text/plain root:root 0o644 161.7 KB
/usr/share/acl2-6.5/non-linear.lisp text/x-lisp root:root 0o644 40.8 KB
/usr/share/acl2-6.5/prove.lisp text/x-lisp root:root 0o644 415.1 KB
/usr/share/acl2-6.5/proof-checker-pkg.lisp text/plain root:root 0o644 904 bytes
/usr/share/acl2-6.5/induct.lisp text/x-lisp root:root 0o644 138.3 KB
/usr/share/acl2-6.5/memoize.lisp text/x-lisp root:root 0o644 15.9 KB
/usr/share/acl2-6.5/axioms.lisp text/plain root:root 0o644 985.3 KB
/usr/share/acl2-6.5/parallel-raw.lisp text/plain root:root 0o644 59.2 KB
/usr/share/acl2-6.5/translate.lisp text/x-lisp root:root 0o644 396.6 KB
/usr/share/acl2-6.5/tau.lisp text/x-lisp root:root 0o644 571.9 KB
/usr/share/acl2-6.5/history-management.lisp text/plain root:root 0o644 730.6 KB
/usr/share/acl2-6.5/doc.lisp text/plain root:root 0o644 4.1 MB
/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 6.6 KB
/usr/share/doc/acl2-source/copyright text/plain root:root 0o644 7.6 KB