acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / concurrent-programs

This file is indexed.

/usr/share/acl2-6.3/books/concurrent-programs/ 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/concurrent-programs/bakery/ root:root 0o755
/usr/share/acl2-6.3/books/concurrent-programs/bakery/apply-total-order.cert text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/fairenv.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/final-theorems.cert text/plain root:root 0o644 11.1 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/initial-state.cert text/plain root:root 0o644 6.1 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/inv-persists.cert text/plain root:root 0o644 6.5 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/inv-sufficient.cert text/plain root:root 0o644 6.5 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/labels.cert text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/lexicographic-pos.cert text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/lexicographic.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/measures.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/pos-temp.cert text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/programs.cert text/plain root:root 0o644 5.7 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/properties-of-sets.cert text/plain root:root 0o644 1.3 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/properties.cert text/plain root:root 0o644 5.8 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/records.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/stutter1-match.cert text/plain root:root 0o644 6.1 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/stutter2.cert text/plain root:root 0o644 10.1 KB
/usr/share/acl2-6.3/books/concurrent-programs/bakery/variables.cert text/plain root:root 0o644 1.3 KB
/usr/share/acl2-6.3/books/concurrent-programs/german-protocol/ root:root 0o755
/usr/share/acl2-6.3/books/concurrent-programs/german-protocol/german.cert text/plain root:root 0o644 1.1 KB

APT Browse - Built by Thomas Orozco.