Version of acl2-doc: 8.6+dfsg-3
Architecture of acl2-doc: all
Version of cl-trivial-features: 20250129.git18a5cfa-2
Architecture of cl-trivial-features: all
acl2-doc | cl-trivial-features | ||
---|---|---|---|
size | filename | hash functions | filename |
1.2 KB | ./usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-features-20230618-git/README.md | sha512 | ./usr/share/doc/cl-trivial-features/README.md |