acl2-books-source 4.3-3 / usr / share / acl2-4.3 / books / fix-cert

This file is indexed.

/usr/share/acl2-4.3/books/fix-cert/ is in acl2-books-source 4.3-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-4.3/books/fix-cert/fix-cert.acl2 text/plain root:root 0o644 136 bytes
/usr/share/acl2-4.3/books/fix-cert/fix-cert.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-4.3/books/fix-cert/moved/ root:root 0o755
/usr/share/acl2-4.3/books/fix-cert/moved/test1.lisp text/x-lisp root:root 0o644 185 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test1b.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test1bb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test1bp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test1p.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test1pb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test1pp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/moved/test2.lisp text/x-lisp root:root 0o644 105 bytes
/usr/share/acl2-4.3/books/fix-cert/test-fix-cert0.acl2 text/plain root:root 0o644 50 bytes
/usr/share/acl2-4.3/books/fix-cert/test-fix-cert0.lisp text/plain root:root 0o644 368 bytes
/usr/share/acl2-4.3/books/fix-cert/test-fix-cert1.acl2 text/plain root:root 0o644 48 bytes
/usr/share/acl2-4.3/books/fix-cert/test-fix-cert1.lisp text/plain root:root 0o644 62 bytes
/usr/share/acl2-4.3/books/fix-cert/test-fix-cert2.acl2 text/plain root:root 0o644 48 bytes
/usr/share/acl2-4.3/books/fix-cert/test-fix-cert2.lisp text/plain root:root 0o644 62 bytes
/usr/share/acl2-4.3/books/fix-cert/test1.acl2 text/plain root:root 0o644 76 bytes
/usr/share/acl2-4.3/books/fix-cert/test1.lisp text/x-lisp root:root 0o644 185 bytes
/usr/share/acl2-4.3/books/fix-cert/test1b.acl2 text/plain root:root 0o644 78 bytes
/usr/share/acl2-4.3/books/fix-cert/test1b.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-4.3/books/fix-cert/test1bb.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-4.3/books/fix-cert/test1bb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/test1bp.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-4.3/books/fix-cert/test1bp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/test1p.acl2 text/plain root:root 0o644 78 bytes
/usr/share/acl2-4.3/books/fix-cert/test1p.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-4.3/books/fix-cert/test1pb.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-4.3/books/fix-cert/test1pb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/test1pp.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-4.3/books/fix-cert/test1pp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-4.3/books/fix-cert/test2.acl2 text/plain root:root 0o644 61 bytes
/usr/share/acl2-4.3/books/fix-cert/test2.lisp text/x-lisp root:root 0o644 105 bytes

APT Browse - Built by Thomas Orozco.