sha512 2906cc7f978381a8888909981b0433bcf0b2832a25d9ea84f3aba2a37ac181354b2d3911e908e7ad16d4126d95c168ea37e5ce9528c2c5872e3c89c66025ff68
package
filename
size
different function
cl-chipz
./usr/share/common-lisp/source/chipz/conditions.lisp
4.8 KB
acl2-books-source
./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/chipz-20230618-git/conditions.lisp
4.8 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