acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / rtl / rel1

This file is indexed.

/usr/share/acl2-6.3/books/rtl/rel1/ 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/rtl/rel1/lib1/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/lib1/basic.cert text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib1/bits.cert text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib1/brat.cert text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib1/float.cert text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib1/reps.cert text/plain root:root 0o644 6.7 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib1/round.cert text/plain root:root 0o644 8.9 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib1/top.cert text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/lib3/basic.cert text/plain root:root 0o644 9.3 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/bits.cert text/plain root:root 0o644 9.3 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/brat.cert text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/fadd.cert text/plain root:root 0o644 9.1 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/float.cert text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/reps.cert text/plain root:root 0o644 6.7 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/round.cert text/plain root:root 0o644 8.9 KB
/usr/share/acl2-6.3/books/rtl/rel1/lib3/top.cert text/plain root:root 0o644 9.7 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/support/add.cert text/plain root:root 0o644 6.1 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/away.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/basic.cert text/plain root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/divsqrt.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/add3.cert text/plain root:root 0o644 8.2 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/lop1.cert text/plain root:root 0o644 7.7 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/lop2.cert text/plain root:root 0o644 7.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/lop3.cert text/plain root:root 0o644 7.9 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/stick.cert text/plain root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/top.cert text/plain root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/float.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/floor.cert text/plain root:root 0o644 4.3 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/fp.cert text/plain root:root 0o644 5.6 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/logdefs.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/loglemmas.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/logxor-def.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/logxor-lemmas.cert text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/merge.cert text/plain root:root 0o644 6.4 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/near.cert text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/odd.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/proofs.cert text/plain root:root 0o644 6.3 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/reps.cert text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/rewrite-theory.cert text/plain root:root 0o644 255 bytes
/usr/share/acl2-6.3/books/rtl/rel1/support/rnd.cert text/plain root:root 0o644 5.6 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/sticky.cert text/plain root:root 0o644 5.5 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/trunc.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/rtl/rel1/support/x-2xx.cert text/plain root:root 0o644 3.4 KB

APT Browse - Built by Thomas Orozco.