Version of acl2-doc: 8.6+dfsg-3
Architecture of acl2-doc: all
Version of cl-trivial-gray-streams: 20240217.gita7ead68-1
Architecture of cl-trivial-gray-streams: all
| acl2-doc | cl-trivial-gray-streams | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 1.5 KB | ./usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/README | sha512 | ./usr/share/doc/cl-trivial-gray-streams/README |