pkg://acl2-infix-source_3.3-1.1_all.deb:87382/md5sums  info  downloads

6723cbdd50ff65e8b2a16814df9972e9  usr/share/doc/acl2-infix-source/changelog.Debian.gz
3ecfcba97f11bbf3cb866a162661149d  usr/share/doc/acl2-infix-source/copyright
9386c5f27c8b884e9d489af9f56fa78f  usr/lib/acl2-3.3/interface/infix/sloop.lisp
b2b16d8ffdc226351f3aaa41e5b4bcc1  usr/lib/acl2-3.3/interface/infix/scribe-theory.lisp
e08646059cbf4a36575cb52d67d1d80d  usr/lib/acl2-3.3/interface/infix/acl2-formatting.lisp
930886a43df3d811a301ab8313f1a38e  usr/lib/acl2-3.3/interface/infix/infix.lisp
a5f3ffd395a1338c3b67008c6da401bf  usr/lib/acl2-3.3/interface/infix/latex-init.lisp
ba517988415969c182eaf2500316cd14  usr/lib/acl2-3.3/interface/infix/scribe-init.lisp
012d02ddcc5dabbcb93a7b855a204d35  usr/lib/acl2-3.3/interface/infix/latex-theory.lisp