Version of cl-fad: 20220110.git3f4d32d-1
Architecture of cl-fad: all
Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
| cl-fad | acl2-books-source | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 25.1 KB | ./usr/share/common-lisp/source/cl-fad/fad.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/fad.lisp |
| 10.3 KB | ./usr/share/common-lisp/source/cl-fad/fad.test.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/fad.test.lisp |
| 7.6 KB | ./usr/share/common-lisp/source/cl-fad/temporary-files.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/temporary-files.lisp |
| 3.3 KB | ./usr/share/common-lisp/source/cl-fad/corman.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/corman.lisp |
| 3.0 KB | ./usr/share/common-lisp/source/cl-fad/packages.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/packages.lisp |
| 2.8 KB | ./usr/share/common-lisp/source/cl-fad/openmcl.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/openmcl.lisp |
| 2.7 KB | ./usr/share/common-lisp/source/cl-fad/load.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/load.lisp |
| 2.1 KB | ./usr/share/common-lisp/source/cl-fad/temporary-files.test.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/temporary-files.test.lisp |
| 1006 B | ./usr/share/common-lisp/source/cl-fad/path.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/path.lisp |
| 169 B | ./usr/share/common-lisp/source/cl-fad/packages.test.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-fad-20220220-git/packages.test.lisp |