Version of cl-ppcre-unicode: 20240427.git80fb19d-1
Architecture of cl-ppcre-unicode: all
Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
| cl-ppcre-unicode | acl2-books-source | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 4.5 KB | ./usr/share/common-lisp/source/cl-ppcre/test/unicode-tests.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-ppcre-20230618-git/test/unicode-tests.lisp |
| 2.7 KB | ./usr/share/common-lisp/source/cl-ppcre/cl-ppcre-unicode/resolver.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-ppcre-20230618-git/cl-ppcre-unicode/resolver.lisp |
| 1.8 KB | ./usr/share/common-lisp/source/cl-ppcre/cl-ppcre-unicode/packages.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cl-ppcre-20230618-git/cl-ppcre-unicode/packages.lisp |