acl2-books-source <-> cl-cffi

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

Architecture of acl2-books-source: all

Version of cl-cffi: 1:0.24.1-3

Architecture of cl-cffi: all

acl2-books-sourcecl-cffi
sizefilenamehash functionsfilename
27.2 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/toolchain/bundle.lisp sha512./usr/share/common-lisp/source/cl-cffi/toolchain/bundle.lisp
22.2 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/uffi-compat/uffi-compat.lisp sha512./usr/share/common-lisp/source/cl-cffi/uffi-compat/uffi-compat.lisp
19.8 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/callbacks.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/callbacks.lisp
19.2 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/src/libraries.lisp sha512./usr/share/common-lisp/source/cl-cffi/src/libraries.lisp
18.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/memory.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/memory.lisp
15.8 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/src/enum.lisp sha512./usr/share/common-lisp/source/cl-cffi/src/enum.lisp
15.7 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/toolchain/c-toolchain.lisp sha512./usr/share/common-lisp/source/cl-cffi/toolchain/c-toolchain.lisp
10.0 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/random-tester.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/random-tester.lisp
9.3 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/misc-types.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/misc-types.lisp
9.1 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/foreign-globals.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/foreign-globals.lisp
8.0 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/funcall.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/funcall.lisp
6.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/enum.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/enum.lisp
6.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/src/structures.lisp sha512./usr/share/common-lisp/source/cl-cffi/src/structures.lisp
6.2 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/strings.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/strings.lisp
6.2 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/grovel/asdf.lisp sha512./usr/share/common-lisp/source/cl-cffi/grovel/asdf.lisp
5.2 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/fsbv.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/fsbv.lisp
4.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/toolchain/static-link.lisp sha512./usr/share/common-lisp/source/cl-cffi/toolchain/static-link.lisp
4.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/libffi/type-descriptors.lisp sha512./usr/share/common-lisp/source/cl-cffi/libffi/type-descriptors.lisp
4.0 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/src/foreign-vars.lisp sha512./usr/share/common-lisp/source/cl-cffi/src/foreign-vars.lisp
3.7 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/src/utils.lisp sha512./usr/share/common-lisp/source/cl-cffi/src/utils.lisp
3.7 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/gettimeofday.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/gettimeofday.lisp
3.5 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/translator-test.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/translator-test.lisp
3.4 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/arrays.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/arrays.lisp
2.8 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/mapping.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/mapping.lisp
2.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/examples.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/examples.lisp
2.1 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/gethostname.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/gethostname.lisp
1.9 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/union.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/union.lisp
1.9 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/toolchain/package.lisp sha512./usr/share/common-lisp/source/cl-cffi/toolchain/package.lisp
1.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/run-tests.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/run-tests.lisp
1.6 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/libffi/libffi-functions.lisp sha512./usr/share/common-lisp/source/cl-cffi/libffi/libffi-functions.lisp
1.5 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/run-examples.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/run-examples.lisp
1.4 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/grovel/package.lisp sha512./usr/share/common-lisp/source/cl-cffi/grovel/package.lisp
1.4 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/tests/package.lisp sha512./usr/share/common-lisp/source/cl-cffi/tests/package.lisp
1.4 KB./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/package.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/package.lisp
877 B./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/wrapper-example.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/wrapper-example.lisp
511 B./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/main-example.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/main-example.lisp
420 B./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/cffi-20231021-git/examples/grovel-example.lisp sha512./usr/share/common-lisp/source/cl-cffi/examples/grovel-example.lisp

Details about this service