Filelist of package acl2-doc in sid of architecture all

/usr/share/doc/acl2-doc/books/README
/usr/share/doc/acl2-doc/books/arithmetic-2/README
/usr/share/doc/acl2-doc/books/arithmetic-2/meta/README
/usr/share/doc/acl2-doc/books/arithmetic-2/pass1/arithmetic-axioms.txt.gz
/usr/share/doc/acl2-doc/books/arithmetic-3/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-4/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-4/support/README
/usr/share/doc/acl2-doc/books/arithmetic-5/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-5/support/README
/usr/share/doc/acl2-doc/books/arithmetic/README
/usr/share/doc/acl2-doc/books/bdd/README
/usr/share/doc/acl2-doc/books/bdd/be/cath/add1.be
/usr/share/doc/acl2-doc/books/bdd/be/cath/add2.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/add3.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/add4.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/addsub.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul03.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul04.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul05.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul06.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul07.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul08.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip02.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip04.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip06.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip08.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/transp.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf1.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf2.be
/usr/share/doc/acl2-doc/books/centaur/README.gz
/usr/share/doc/acl2-doc/books/centaur/vl/README
/usr/share/doc/acl2-doc/books/centaur/vl/talks/README
/usr/share/doc/acl2-doc/books/clause-processors/SULFA/README.gz
/usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples/smt-lib-crafted/README
/usr/share/doc/acl2-doc/books/coi/README-coi.html
/usr/share/doc/acl2-doc/books/coi/bags/README
/usr/share/doc/acl2-doc/books/coi/defstructure/README
/usr/share/doc/acl2-doc/books/coi/dtrees/README
/usr/share/doc/acl2-doc/books/coi/osets/README
/usr/share/doc/acl2-doc/books/coi/paths/README
/usr/share/doc/acl2-doc/books/coi/records/fast/README
/usr/share/doc/acl2-doc/books/cowles/README
/usr/share/doc/acl2-doc/books/data-structures/README
/usr/share/doc/acl2-doc/books/defexec/README
/usr/share/doc/acl2-doc/books/defexec/dag-unification/README
/usr/share/doc/acl2-doc/books/defexec/find-path/README
/usr/share/doc/acl2-doc/books/defexec/find-path/graph/README
/usr/share/doc/acl2-doc/books/finite-set-theory/README
/usr/share/doc/acl2-doc/books/finite-set-theory/osets/README
/usr/share/doc/acl2-doc/books/fix-cert/moved/README
/usr/share/doc/acl2-doc/books/ihs/README.gz
/usr/share/doc/acl2-doc/books/meta/README
/usr/share/doc/acl2-doc/books/misc/README.gz
/usr/share/doc/acl2-doc/books/misc/misc2/README
/usr/share/doc/acl2-doc/books/misc/simplify-defuns.txt.gz
/usr/share/doc/acl2-doc/books/models/jvm/m5/README
/usr/share/doc/acl2-doc/books/powerlists/README
/usr/share/doc/acl2-doc/books/proofstyles/counterexamples/README
/usr/share/doc/acl2-doc/books/rtl/rel1/README
/usr/share/doc/acl2-doc/books/rtl/rel4/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel4/lib/README
/usr/share/doc/acl2-doc/books/rtl/rel4/support/README
/usr/share/doc/acl2-doc/books/rtl/rel4/user/README
/usr/share/doc/acl2-doc/books/rtl/rel5/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel5/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel5/lib/README
/usr/share/doc/acl2-doc/books/rtl/rel5/support/README
/usr/share/doc/acl2-doc/books/rtl/rel5/user/README
/usr/share/doc/acl2-doc/books/rtl/rel7/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel7/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel7/lib/README
/usr/share/doc/acl2-doc/books/rtl/rel7/support/README
/usr/share/doc/acl2-doc/books/rtl/rel7/support/lib1.delta1/README
/usr/share/doc/acl2-doc/books/rtl/rel7/support/lib1/README
/usr/share/doc/acl2-doc/books/rtl/rel7/support/support/README
/usr/share/doc/acl2-doc/books/rtl/rel7/user/README
/usr/share/doc/acl2-doc/books/rtl/rel8/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel8/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel8/lib/README
/usr/share/doc/acl2-doc/books/rtl/rel8/support/README
/usr/share/doc/acl2-doc/books/rtl/rel8/support/lib1.delta1/README
/usr/share/doc/acl2-doc/books/rtl/rel8/support/lib1/README
/usr/share/doc/acl2-doc/books/rtl/rel8/support/lib2/README
/usr/share/doc/acl2-doc/books/rtl/rel8/support/support/README
/usr/share/doc/acl2-doc/books/str/README
/usr/share/doc/acl2-doc/books/symbolic/README
/usr/share/doc/acl2-doc/books/textbook/README.gz
/usr/share/doc/acl2-doc/books/textbook/chap10/README
/usr/share/doc/acl2-doc/books/textbook/chap11/README
/usr/share/doc/acl2-doc/books/textbook/chap3/README
/usr/share/doc/acl2-doc/books/textbook/chap3/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/chap4/README
/usr/share/doc/acl2-doc/books/textbook/chap5/README
/usr/share/doc/acl2-doc/books/textbook/chap6/README
/usr/share/doc/acl2-doc/books/textbook/chap6/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/chap7/README
/usr/share/doc/acl2-doc/books/textbook/chap7/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/index.html
/usr/share/doc/acl2-doc/books/tutorial-problems/README
/usr/share/doc/acl2-doc/books/wp-gen/README.gz
/usr/share/doc/acl2-doc/changelog.Debian.gz
/usr/share/doc/acl2-doc/copyright
/usr/share/doc/acl2-doc/doc/README
/usr/share/doc/acl2-doc/doc/acl2-code-size.txt
/usr/share/doc/acl2-doc/doc/create-acl2-code-size
/usr/share/doc/acl2-doc/doc/create-acl2-html
/usr/share/doc/acl2-doc/doc/create-acl2-tex
/usr/share/doc/acl2-doc/doc/create-acl2-texinfo
/usr/share/doc/acl2-doc/doc/make-texinfo.el
/usr/share/doc/acl2-doc/doc/texinfo.tex.gz
/usr/share/doc/acl2-doc/doc/write-acl2-code-size.lisp.gz
/usr/share/doc/acl2-doc/doc/write-acl2-html.lisp.gz
/usr/share/doc/acl2-doc/doc/write-acl2-texinfo.lisp.gz
/usr/share/doc/acl2-doc/interface/emacs/README-mouse
/usr/share/doc/acl2-doc/interface/emacs/README-mouse.doc.gz
/usr/share/doc/acl2-doc/interface/emacs/README-mouse.mss.gz
/usr/share/doc/acl2-doc/interface/emacs/README-mouse.ps.gz
/usr/share/doc/acl2-doc/interface/infix/README.gz
/usr/share/doc/acl2-doc/interface/infix/infix-examples.dvi.gz
/usr/share/doc/acl2-doc/interface/infix/infix-examples.ps.gz