Version of acl2-infix-source: 8.7+dfsg-3
Architecture of acl2-infix-source: all
Version of acl2-books-source: 8.7+dfsg-3
Architecture of acl2-books-source: all
| acl2-infix-source | acl2-books-source | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 209.0 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/infix.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/infix.lisp |
| 38.4 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/sloop.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/sloop.lisp |
| 23.1 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/latex-init.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/latex-init.lisp |
| 16.6 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/scribe-init.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/scribe-init.lisp |
| 11.6 KB | ./usr/share/doc/acl2-infix-source/copyright | sha512 | ./usr/share/doc/acl2-books-source/copyright |
| 6.3 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/latex-theory.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/latex-theory.lisp |
| 6.3 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/scribe-theory.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/scribe-theory.lisp |
| 5.7 KB | ./usr/lib/acl2-8.7+dfsg/books/interface/infix/acl2-formatting.lisp | sha512 | ./usr/share/acl2-8.7+dfsg/books/interface/infix/acl2-formatting.lisp |