cl-babel ↔ acl2-books-source

Version of cl-babel: 20250905.git4eaf3f2-1

Architecture of cl-babel: all

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

Architecture of acl2-books-source: all

cl-babelacl2-books-source
sizefilenamehash functionsfilename
357.6 KB./usr/share/common-lisp/source/babel/src/jpn-table.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/jpn-table.lisp
170.6 KB./usr/share/common-lisp/source/babel/src/gbk-map.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/gbk-map.lisp
37.1 KB./usr/share/common-lisp/source/babel/src/enc-jpn.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/enc-jpn.lisp
18.6 KB./usr/share/common-lisp/source/babel/src/enc-koi8.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/enc-koi8.lisp
18.0 KB./usr/share/common-lisp/source/babel/src/streams.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/streams.lisp
8.1 KB./usr/share/common-lisp/source/babel/src/enc-gbk.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/enc-gbk.lisp
3.6 KB./usr/share/common-lisp/source/babel/src/external-format.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/external-format.lisp
3.5 KB./usr/share/common-lisp/source/babel/src/sharp-backslash.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/sharp-backslash.lisp
2.7 KB./usr/share/common-lisp/source/babel/src/enc-ebcdic-int.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/src/enc-ebcdic-int.lisp
2.1 KB./usr/share/common-lisp/source/babel/tests/benchmarks.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/tests/benchmarks.lisp
1.9 KB./usr/share/common-lisp/source/babel/tests/streams.lispsha512./usr/share/acl2-8.7+dfsg/books/quicklisp/bundle/software/babel-20230214-git/tests/streams.lisp

Details about this service