Version of cl-chunga: 20240918.git5cd13fe-1
Architecture of cl-chunga: all
Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
| cl-chunga | acl2-books-source | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 9.2 KB | ./usr/share/common-lisp/source/chunga/input.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chunga-20231021-git/input.lisp |
| 6.2 KB | ./usr/share/common-lisp/source/chunga/streams.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chunga-20231021-git/streams.lisp |
| 5.8 KB | ./usr/share/common-lisp/source/chunga/output.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chunga-20231021-git/output.lisp |
| 4.1 KB | ./usr/share/common-lisp/source/chunga/specials.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chunga-20231021-git/specials.lisp |
| 3.8 KB | ./usr/share/common-lisp/source/chunga/util.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chunga-20231021-git/util.lisp |
| 3.7 KB | ./usr/share/common-lisp/source/chunga/conditions.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chunga-20231021-git/conditions.lisp |