pkg://acl2-infix-source_3.1-1_all.deb:85324/md5sums  info  downloads

e08646059cbf4a36575cb52d67d1d80d  usr/lib/acl2-3.1/interface/infix/acl2-formatting.lisp
930886a43df3d811a301ab8313f1a38e  usr/lib/acl2-3.1/interface/infix/infix.lisp
a5f3ffd395a1338c3b67008c6da401bf  usr/lib/acl2-3.1/interface/infix/latex-init.lisp
012d02ddcc5dabbcb93a7b855a204d35  usr/lib/acl2-3.1/interface/infix/latex-theory.lisp
ba517988415969c182eaf2500316cd14  usr/lib/acl2-3.1/interface/infix/scribe-init.lisp
b2b16d8ffdc226351f3aaa41e5b4bcc1  usr/lib/acl2-3.1/interface/infix/scribe-theory.lisp
9386c5f27c8b884e9d489af9f56fa78f  usr/lib/acl2-3.1/interface/infix/sloop.lisp
4e2a47130a3da69ce57d2790f2e90468  usr/share/doc/acl2-infix-source/copyright
77f0b9ee68ce07d957701f2673e0961f  usr/share/doc/acl2-infix-source/changelog.Debian.gz