cl-quri <-> acl2-books-source

Version of cl-quri: 20150804-1.2

Architecture of cl-quri: all

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

Architecture of acl2-books-source: all

cl-quriacl2-books-source
sizefilenamehash functionsfilename
2.6 KB./usr/share/common-lisp/source/quri/t/etld.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/quri-20230618-git/t/etld.lisp
2.5 KB./usr/share/common-lisp/source/quri/src/uri/ldap.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/quri-20230618-git/src/uri/ldap.lisp
1.3 KB./usr/share/common-lisp/source/quri/src/uri/ftp.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/quri-20230618-git/src/uri/ftp.lisp
1.0 KB./usr/share/common-lisp/source/quri/src/error.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/quri-20230618-git/src/error.lisp
513 B./usr/share/common-lisp/source/quri/t/benchmark.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/quri-20230618-git/t/benchmark.lisp

Details about this service