sha512 a2a64b5d8432a60e349db0b287128d5783f5c8f2d9aace4932a6a6d21b97f327b4d725ef320679212c484af789caa41ac4857d4d336aea34c9bbdd9ec437dbb5
package
filename
size
different function
cl-chipz
./usr/share/common-lisp/source/chipz/tests.lisp
11.2 KB
acl2-books-source
./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/tests.lisp
11.2 KB
Details about this service
More information:
see wiki
Maintainer: Helmut Grohne <helmut@subdivi.de>
Source: git://git.subdivi.de/~helmut/debian-dedup.git
Bugs reports / Feedback / Patches: to the maintainer