| package | filename | size | different function |
|---|---|---|---|
| cl-trivial-features | ./usr/share/common-lisp/source/trivial-features/tests/tests.lisp | 3.9 KB | |
| acl2-books-source | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-features-20230618-git/tests/tests.lisp | 3.9 KB |