Version of acl2-doc: 8.6+dfsg-3
Architecture of acl2-doc: all
Version of cl-nibbles: 20250305.gitc1ecd02-2
Architecture of cl-nibbles: all
| acl2-doc | cl-nibbles | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 1.6 KB | ./usr/share/doc/acl2-doc/books/quicklisp/bundle/software/nibbles-20231021-git/README.md | sha512 | ./usr/share/doc/cl-nibbles/README.md |