acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / defexec / other-apps

This file is indexed.

/usr/share/acl2-6.3/books/defexec/other-apps/ is in acl2-books-certs 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/defexec/other-apps/misc/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/misc/memos.cert text/plain root:root 0o644 234 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/misc/stobjsim.cert text/plain root:root 0o644 244 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/extraction.cert text/plain root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/final-theorem.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/first-last.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/intermediate-program.cert text/plain root:root 0o644 590 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/intermediate-to-spec.cert text/plain root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/load-extract.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/merge-intermediate.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/nth-update-nth.cert text/plain root:root 0o644 263 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/permutations.cert text/plain root:root 0o644 256 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/programs.cert text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/sort-qs-properties.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/spec-properties.cert text/plain root:root 0o644 3.9 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/split-qs-properties.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/total-order.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/records/inline.cert text/plain root:root 0o644 239 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/records-bsd.cert text/plain root:root 0o644 406 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/records.cert text/plain root:root 0o644 1021 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/recordsim.cert text/plain root:root 0o644 1.3 KB

APT Browse - Built by Thomas Orozco.