cl-trivial-backtrace <-> acl2-books-source

Version of cl-trivial-backtrace: 20230111.git7f90b4a-1

Architecture of cl-trivial-backtrace: all

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

Architecture of acl2-books-source: all

cl-trivial-backtraceacl2-books-source
sizefilenamehash functionsfilename
4.4 KB./usr/share/common-lisp/source/trivial-backtrace/dev/map-backtrace.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/dev/map-backtrace.lisp
4.3 KB./usr/share/common-lisp/source/trivial-backtrace/dev/utilities.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/dev/utilities.lisp
4.0 KB./usr/share/common-lisp/source/trivial-backtrace/dev/backtrace.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/dev/backtrace.lisp
1.8 KB./usr/share/common-lisp/source/trivial-backtrace/dev/mucking.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/dev/mucking.lisp
810 B./usr/share/common-lisp/source/trivial-backtrace/test/tests.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/test/tests.lisp
442 B./usr/share/common-lisp/source/trivial-backtrace/dev/fallback.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/dev/fallback.lisp
323 B./usr/share/common-lisp/source/trivial-backtrace/dev/packages.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/dev/packages.lisp
122 B./usr/share/common-lisp/source/trivial-backtrace/test/packages.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/test/packages.lisp
85 B./usr/share/common-lisp/source/trivial-backtrace/test/test-setup.lisp sha512./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/test/test-setup.lisp

Details about this service