Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
Version of cl-trivial-gray-streams: 20240217.gita7ead68-1
Architecture of cl-trivial-gray-streams: all
| acl2-books-source | cl-trivial-gray-streams | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 11.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/streams.lisp | sha512 | ./usr/share/common-lisp/source/cl-trivial-gray-streams/streams.lisp |
| 7.7 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/test/test.lisp | sha512 | ./usr/share/common-lisp/source/cl-trivial-gray-streams/test/test.lisp |
| 4.4 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/test/run-on-many-lisps.lisp | sha512 | ./usr/share/common-lisp/source/cl-trivial-gray-streams/test/run-on-many-lisps.lisp |
| 3.4 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/package.lisp | sha512 | ./usr/share/common-lisp/source/cl-trivial-gray-streams/package.lisp |
| 2.0 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/test/test-framework.lisp | sha512 | ./usr/share/common-lisp/source/cl-trivial-gray-streams/test/test-framework.lisp |
| 240 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/test/package.lisp | sha512 | ./usr/share/common-lisp/source/cl-trivial-gray-streams/test/package.lisp |