Filelist of package acl2-source in feisty of architecture all

/usr/share/acl2-3.1/TAGS
/usr/share/acl2-3.1/acl2-check.lisp
/usr/share/acl2-3.1/acl2-fns.lisp
/usr/share/acl2-3.1/acl2-init.lisp
/usr/share/acl2-3.1/acl2-proclaims.lisp
/usr/share/acl2-3.1/acl2.lisp
/usr/share/acl2-3.1/acl2r.lisp
/usr/share/acl2-3.1/akcl-acl2-trace.lisp
/usr/share/acl2-3.1/allegro-acl2-trace.lisp
/usr/share/acl2-3.1/axioms.lisp
/usr/share/acl2-3.1/basis.lisp
/usr/share/acl2-3.1/bdd.lisp
/usr/share/acl2-3.1/defpkgs.lisp
/usr/share/acl2-3.1/defthm.lisp
/usr/share/acl2-3.1/defuns.lisp
/usr/share/acl2-3.1/history-management.lisp
/usr/share/acl2-3.1/induct.lisp
/usr/share/acl2-3.1/init.lisp
/usr/share/acl2-3.1/interface-raw.lisp
/usr/share/acl2-3.1/ld.lisp
/usr/share/acl2-3.1/linear-a.lisp
/usr/share/acl2-3.1/linear-b.lisp
/usr/share/acl2-3.1/mcl-acl2-startup.lisp
/usr/share/acl2-3.1/non-linear.lisp
/usr/share/acl2-3.1/openmcl-acl2-trace.lisp
/usr/share/acl2-3.1/other-events.lisp
/usr/share/acl2-3.1/other-processes.lisp
/usr/share/acl2-3.1/proof-checker-a.lisp
/usr/share/acl2-3.1/proof-checker-b.lisp
/usr/share/acl2-3.1/proof-checker-pkg.lisp
/usr/share/acl2-3.1/prove.lisp
/usr/share/acl2-3.1/rewrite.lisp
/usr/share/acl2-3.1/simplify.lisp
/usr/share/acl2-3.1/sum-list-example.lisp
/usr/share/acl2-3.1/translate.lisp
/usr/share/acl2-3.1/tutorial.lisp
/usr/share/acl2-3.1/type-set-a.lisp
/usr/share/acl2-3.1/type-set-b.lisp
/usr/share/doc/acl2-source/changelog.Debian.gz
/usr/share/doc/acl2-source/copyright