acl2-books-source 6.3-5 / usr / share / acl2-6.3 / books / fix-cert

This file is indexed.

/usr/share/acl2-6.3/books/fix-cert/ is in acl2-books-source 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/fix-cert/fix-cert.acl2 text/plain root:root 0o644 138 bytes
/usr/share/acl2-6.3/books/fix-cert/fix-cert.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-6.3/books/fix-cert/moved/ root:root 0o755
/usr/share/acl2-6.3/books/fix-cert/moved/test1.lisp text/x-lisp root:root 0o644 185 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test1b.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test1bb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test1bp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test1p.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test1pb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test1pp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/moved/test2.lisp text/x-lisp root:root 0o644 105 bytes
/usr/share/acl2-6.3/books/fix-cert/test-fix-cert0.acl2 text/plain root:root 0o644 102 bytes
/usr/share/acl2-6.3/books/fix-cert/test-fix-cert0.lisp text/plain root:root 0o644 368 bytes
/usr/share/acl2-6.3/books/fix-cert/test-fix-cert1.acl2 text/plain root:root 0o644 98 bytes
/usr/share/acl2-6.3/books/fix-cert/test-fix-cert1.lisp text/plain root:root 0o644 62 bytes
/usr/share/acl2-6.3/books/fix-cert/test-fix-cert2.acl2 text/plain root:root 0o644 98 bytes
/usr/share/acl2-6.3/books/fix-cert/test-fix-cert2.lisp text/plain root:root 0o644 62 bytes
/usr/share/acl2-6.3/books/fix-cert/test1.acl2 text/plain root:root 0o644 125 bytes
/usr/share/acl2-6.3/books/fix-cert/test1.lisp text/x-lisp root:root 0o644 185 bytes
/usr/share/acl2-6.3/books/fix-cert/test1b.acl2 text/plain root:root 0o644 127 bytes
/usr/share/acl2-6.3/books/fix-cert/test1b.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-6.3/books/fix-cert/test1bb.acl2 text/plain root:root 0o644 112 bytes
/usr/share/acl2-6.3/books/fix-cert/test1bb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/test1bp.acl2 text/plain root:root 0o644 112 bytes
/usr/share/acl2-6.3/books/fix-cert/test1bp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/test1p.acl2 text/plain root:root 0o644 127 bytes
/usr/share/acl2-6.3/books/fix-cert/test1p.lisp text/x-lisp root:root 0o644 190 bytes
/usr/share/acl2-6.3/books/fix-cert/test1pb.acl2 text/plain root:root 0o644 112 bytes
/usr/share/acl2-6.3/books/fix-cert/test1pb.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/test1pp.acl2 text/plain root:root 0o644 112 bytes
/usr/share/acl2-6.3/books/fix-cert/test1pp.lisp text/x-lisp root:root 0o644 109 bytes
/usr/share/acl2-6.3/books/fix-cert/test2.acl2 text/plain root:root 0o644 110 bytes
/usr/share/acl2-6.3/books/fix-cert/test2.lisp text/x-lisp root:root 0o644 105 bytes

APT Browse - Built by Thomas Orozco.