Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
Version of cl-nibbles: 20250305.gitc1ecd02-2
Architecture of cl-nibbles: all
| acl2-books-source | cl-nibbles | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 7.3 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/nibbles-20231021-git/sbcl-opt/x86-vm.lisp | sha512 | ./usr/share/common-lisp/source/nibbles/sbcl-opt/x86-vm.lisp |
| 5.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/nibbles-20231021-git/macro-utils.lisp | sha512 | ./usr/share/common-lisp/source/nibbles/macro-utils.lisp |
| 1.5 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/nibbles-20231021-git/types.lisp | sha512 | ./usr/share/common-lisp/source/nibbles/types.lisp |