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