Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
Version of cl-trivial-features: 20250129.git18a5cfa-2
Architecture of cl-trivial-features: all
| acl2-books-source | cl-trivial-features | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 3.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/tests/tests.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/tests/tests.lisp |
| 2.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-clisp.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-clisp.lisp |
| 2.3 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-ecl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-ecl.lisp |
| 2.2 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-lispworks.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-lispworks.lisp |
| 2.0 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-sbcl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-sbcl.lisp |
| 1.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-mkcl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-mkcl.lisp |
| 1.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-scl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-scl.lisp |
| 1.9 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-abcl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-abcl.lisp |
| 1.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-allegro.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-allegro.lisp |
| 1.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-cmucl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-cmucl.lisp |
| 1.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/tests/sysinfo.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/tests/sysinfo.lisp |
| 1.8 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-openmcl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-openmcl.lisp |
| 1.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-mocl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-mocl.lisp |
| 1.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-genera.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-genera.lisp |
| 1.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-xcl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-xcl.lisp |
| 1.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-mcl.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-mcl.lisp |
| 1.6 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-clasp.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-clasp.lisp |
| 1.5 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/tests/utsname.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/tests/utsname.lisp |
| 1.5 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-corman.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-corman.lisp |
| 1.5 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/src/tf-mezzano.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/src/tf-mezzano.lisp |
| 1.4 KB | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/tests/package.lisp | sha512 | ./usr/share/common-lisp/source/trivial-features/tests/package.lisp |