Zoznam súborov balíka acl2-infix-source v buster architektúry all

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