acl2-doc <-> cl-trivial-features

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-doccl-trivial-features
sizefilenamehash functionsfilename
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

Details about this service