acl2-books 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 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.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib1/bits.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib1/brat.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib1/float.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib1/reps.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib1/round.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib1/top.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/lib3/basic.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/bits.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/brat.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/fadd.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/float.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/reps.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/round.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/lib3/top.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/support/add.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/away.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/basic.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/divsqrt.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/add3.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/lop1.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/lop2.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/lop3.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/stick.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fadd/top.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/float.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/floor.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/fp.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/logdefs.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/loglemmas.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/logxor-def.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/logxor-lemmas.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/merge.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/near.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/odd.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/proofs.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/reps.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/rewrite-theory.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/rnd.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/sticky.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/trunc.o root:root 0o777
/usr/share/acl2-6.3/books/rtl/rel1/support/x-2xx.o root:root 0o777

APT Browse - Built by Thomas Orozco.