pkg://acl2-infix-source_2.9-2_all.deb:84244/md5sums
info downloads
e08646059cbf4a36575cb52d67d1d80d usr/lib/acl2-2.9/interface/infix/acl2-formatting.lisp
29b6b17b40a5c19f1a732669fda0bbca usr/lib/acl2-2.9/interface/infix/infix.lisp
a5f3ffd395a1338c3b67008c6da401bf usr/lib/acl2-2.9/interface/infix/latex-init.lisp
012d02ddcc5dabbcb93a7b855a204d35 usr/lib/acl2-2.9/interface/infix/latex-theory.lisp
ba517988415969c182eaf2500316cd14 usr/lib/acl2-2.9/interface/infix/scribe-init.lisp
b2b16d8ffdc226351f3aaa41e5b4bcc1 usr/lib/acl2-2.9/interface/infix/scribe-theory.lisp
9386c5f27c8b884e9d489af9f56fa78f usr/lib/acl2-2.9/interface/infix/sloop.lisp
4e2a47130a3da69ce57d2790f2e90468 usr/share/doc/acl2-infix-source/copyright
be6a5a623cf5eb78e501bb38a454afc4 usr/share/doc/acl2-infix-source/changelog.Debian.gz