cl-split-sequence <-> acl2-books-source

Version of cl-split-sequence: 1:2.0.1-1

Architecture of cl-split-sequence: all

Version of acl2-books-source: 8.6+dfsg-3

Architecture of acl2-books-source: all

cl-split-sequenceacl2-books-source
sizefilenamehash functionsfilename
20.4 KB./usr/share/common-lisp/source/cl-split-sequence/tests.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/tests.lisp
5.1 KB./usr/share/common-lisp/source/cl-split-sequence/extended-sequence.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/extended-sequence.lisp
4.9 KB./usr/share/common-lisp/source/cl-split-sequence/list.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/list.lisp
4.4 KB./usr/share/common-lisp/source/cl-split-sequence/vector.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/vector.lisp
3.8 KB./usr/share/common-lisp/source/cl-split-sequence/api.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/api.lisp
2.1 KB./usr/share/common-lisp/source/cl-split-sequence/documentation.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/documentation.lisp
1.3 KB./usr/share/common-lisp/source/cl-split-sequence/package.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/split-sequence-v2.0.1/package.lisp

Details about this service