Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
Version of cl-alexandria: 20240125.git8514d8e-1
Architecture of cl-alexandria: all
| acl2-books-source | cl-alexandria | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 24.5 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/sequences.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/sequences.lisp |
| 13.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/lists.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/lists.lisp |
| 13.7 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/macros.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/macros.lisp |
| 11.0 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/numbers.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/numbers.lisp |
| 9.0 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/io.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/io.lisp |
| 6.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/types.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/types.lisp |
| 6.5 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/functions.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/functions.lisp |
| 5.1 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/package.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/package.lisp |
| 5.1 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/control-flow.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/control-flow.lisp |
| 4.7 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-2/tests.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-2/tests.lisp |
| 3.7 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/hash-tables.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/hash-tables.lisp |
| 3.3 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/conditions.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/conditions.lisp |
| 2.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/binding.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/binding.lisp |
| 2.4 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/symbols.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/symbols.lisp |
| 2.1 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-2/arrays.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-2/arrays.lisp |
| 1.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/definitions.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/definitions.lisp |
| 1.2 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-2/control-flow.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-2/control-flow.lisp |
| 944 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-2/lists.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-2/lists.lisp |
| 871 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/arrays.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/arrays.lisp |
| 717 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/features.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/features.lisp |
| 427 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-2/package.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-2/package.lisp |
| 211 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-2/sequences.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-2/sequences.lisp |
| 185 B | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/alexandria-20231021-git/alexandria-1/strings.lisp | sha512 | ./usr/share/common-lisp/source/alexandria/alexandria-1/strings.lisp |