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