Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
Version of cl-chipz: 20230418.git6f80368-1
Architecture of cl-chipz: all
| acl2-books-source | cl-chipz | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 45.3 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/bzip2.lisp | sha512 | ./usr/share/common-lisp/source/chipz/bzip2.lisp |
| 30.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/inflate.lisp | sha512 | ./usr/share/common-lisp/source/chipz/inflate.lisp |
| 13.0 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/decompress.lisp | sha512 | ./usr/share/common-lisp/source/chipz/decompress.lisp |
| 11.2 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/tests.lisp | sha512 | ./usr/share/common-lisp/source/chipz/tests.lisp |
| 8.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/constants.lisp | sha512 | ./usr/share/common-lisp/source/chipz/constants.lisp |
| 8.1 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/stream.lisp | sha512 | ./usr/share/common-lisp/source/chipz/stream.lisp |
| 6.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/types-and-tables.lisp | sha512 | ./usr/share/common-lisp/source/chipz/types-and-tables.lisp |
| 4.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/conditions.lisp | sha512 | ./usr/share/common-lisp/source/chipz/conditions.lisp |
| 3.0 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/inflate-state.lisp | sha512 | ./usr/share/common-lisp/source/chipz/inflate-state.lisp |
| 2.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/crc32.lisp | sha512 | ./usr/share/common-lisp/source/chipz/crc32.lisp |
| 1.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/dstate.lisp | sha512 | ./usr/share/common-lisp/source/chipz/dstate.lisp |
| 1.2 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/adler32.lisp | sha512 | ./usr/share/common-lisp/source/chipz/adler32.lisp |
| 977 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/gzip.lisp | sha512 | ./usr/share/common-lisp/source/chipz/gzip.lisp |
| 976 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/package.lisp | sha512 | ./usr/share/common-lisp/source/chipz/package.lisp |
| 968 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/zlib.lisp | sha512 | ./usr/share/common-lisp/source/chipz/zlib.lisp |
| 266 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/stream-fallback.lisp | sha512 | ./usr/share/common-lisp/source/chipz/stream-fallback.lisp |