在 sid 發行版中 all 硬體架構下的 acl2-infix-source 套件檔案清單

/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