File list of package acl2-infix-source in oracular of architecture all

/usr/lib/acl2-8.5dfsg/books/interface/infix/acl2-formatting.lisp
/usr/lib/acl2-8.5dfsg/books/interface/infix/infix.lisp
/usr/lib/acl2-8.5dfsg/books/interface/infix/latex-init.lisp
/usr/lib/acl2-8.5dfsg/books/interface/infix/latex-theory.lisp
/usr/lib/acl2-8.5dfsg/books/interface/infix/scribe-init.lisp
/usr/lib/acl2-8.5dfsg/books/interface/infix/scribe-theory.lisp
/usr/lib/acl2-8.5dfsg/books/interface/infix/sloop.lisp
/usr/share/doc/acl2-infix-source/changelog.Debian.gz
/usr/share/doc/acl2-infix-source/copyright