sha512 bcf32052f7481daa519fdd26de7df1b67df6303864d5c320507570f47f2aa73371e2747b461d3316298bd152680753cf7d5fe61092bdf6c23ca5df4711d5b292

packagefilenamesizedifferent function
acl2-books-source ./usr/share/acl2-8.6+dfsg/books/interface/infix/latex-theory.lisp6.3 KB
acl2-infix-source ./usr/lib/acl2-8.6+dfsg/books/interface/infix/latex-theory.lisp6.3 KB

Details about this service