This file is indexed.

/usr/ is in acl2-source 7.2dfsg-3.

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

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/usr/share/acl2-7.2dfsg/ root:root 0o755
/usr/share/acl2-7.2dfsg/TAGS application/octet-stream root:root 0o644 321.1 KB
/usr/share/acl2-7.2dfsg/acl2-check.lisp text/plain root:root 0o644 15.8 KB
/usr/share/acl2-7.2dfsg/acl2-fns.lisp text/x-lisp root:root 0o644 85.6 KB
/usr/share/acl2-7.2dfsg/acl2-init.lisp text/plain root:root 0o644 92.5 KB
/usr/share/acl2-7.2dfsg/acl2-proclaims.lisp text/plain root:root 0o644 209.8 KB
/usr/share/acl2-7.2dfsg/acl2.lisp text/x-lisp root:root 0o644 105.1 KB
/usr/share/acl2-7.2dfsg/acl2r.lisp text/plain root:root 0o644 56 bytes
/usr/share/acl2-7.2dfsg/akcl-acl2-trace.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-7.2dfsg/allegro-acl2-trace.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-7.2dfsg/axioms.lisp text/plain root:root 0o644 998.1 KB
/usr/share/acl2-7.2dfsg/basis-a.lisp text/x-lisp root:root 0o644 287.0 KB
/usr/share/acl2-7.2dfsg/basis-b.lisp text/x-lisp root:root 0o644 160.8 KB
/usr/share/acl2-7.2dfsg/bdd.lisp text/plain root:root 0o644 130.9 KB
/usr/share/acl2-7.2dfsg/boot-strap-pass-2.lisp text/plain root:root 0o644 67.4 KB
/usr/share/acl2-7.2dfsg/defpkgs.lisp text/plain root:root 0o644 27.9 KB
/usr/share/acl2-7.2dfsg/defthm.lisp text/x-lisp root:root 0o644 513.8 KB
/usr/share/acl2-7.2dfsg/defuns.lisp text/x-lisp root:root 0o644 381.5 KB
/usr/share/acl2-7.2dfsg/doc.lisp text/plain root:root 0o644 4.5 MB
/usr/share/acl2-7.2dfsg/futures-raw.lisp text/x-lisp root:root 0o644 58.1 KB
/usr/share/acl2-7.2dfsg/history-management.lisp text/plain root:root 0o644 669.1 KB
/usr/share/acl2-7.2dfsg/hons-raw.lisp text/plain root:root 0o644 171.5 KB
/usr/share/acl2-7.2dfsg/hons.lisp text/plain root:root 0o644 9.1 KB
/usr/share/acl2-7.2dfsg/induct.lisp text/x-lisp root:root 0o644 139.1 KB
/usr/share/acl2-7.2dfsg/init.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-7.2dfsg/interface-raw.lisp text/plain root:root 0o644 424.4 KB
/usr/share/acl2-7.2dfsg/ld.lisp text/x-lisp root:root 0o644 200.4 KB
/usr/share/acl2-7.2dfsg/linear-a.lisp text/x-lisp root:root 0o644 149.4 KB
/usr/share/acl2-7.2dfsg/linear-b.lisp text/x-lisp root:root 0o644 37.4 KB
/usr/share/acl2-7.2dfsg/mcl-acl2-startup.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.2dfsg/memoize-raw.lisp text/plain root:root 0o644 207.0 KB
/usr/share/acl2-7.2dfsg/memoize.lisp text/x-lisp root:root 0o644 15.5 KB
/usr/share/acl2-7.2dfsg/multi-threading-raw.lisp text/plain root:root 0o644 42.8 KB
/usr/share/acl2-7.2dfsg/non-linear.lisp text/x-lisp root:root 0o644 40.8 KB
/usr/share/acl2-7.2dfsg/openmcl-acl2-trace.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-7.2dfsg/other-events.lisp text/x-lisp root:root 0o644 1.2 MB
/usr/share/acl2-7.2dfsg/other-processes.lisp text/x-lisp root:root 0o644 105.8 KB
/usr/share/acl2-7.2dfsg/parallel-raw.lisp text/plain root:root 0o644 60.0 KB
/usr/share/acl2-7.2dfsg/parallel.lisp text/x-lisp root:root 0o644 40.7 KB
/usr/share/acl2-7.2dfsg/proof-checker-a.lisp text/x-lisp root:root 0o644 63.2 KB
/usr/share/acl2-7.2dfsg/proof-checker-b.lisp text/x-lisp root:root 0o644 203.4 KB
/usr/share/acl2-7.2dfsg/proof-checker-pkg.lisp text/plain root:root 0o644 904 bytes
/usr/share/acl2-7.2dfsg/prove.lisp text/x-lisp root:root 0o644 407.3 KB
/usr/share/acl2-7.2dfsg/rewrite.lisp text/plain root:root 0o644 758.4 KB
/usr/share/acl2-7.2dfsg/serialize-raw.lisp text/plain root:root 0o644 66.6 KB
/usr/share/acl2-7.2dfsg/serialize.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-7.2dfsg/simplify.lisp text/x-lisp root:root 0o644 397.4 KB
/usr/share/acl2-7.2dfsg/tau.lisp text/x-lisp root:root 0o644 570.3 KB
/usr/share/acl2-7.2dfsg/translate.lisp text/x-lisp root:root 0o644 434.9 KB
/usr/share/acl2-7.2dfsg/type-set-a.lisp text/plain root:root 0o644 37.4 KB
/usr/share/acl2-7.2dfsg/type-set-b.lisp text/x-lisp root:root 0o644 509.9 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 7.6 KB
/usr/share/doc/acl2-source/copyright text/plain root:root 0o644 7.6 KB