sha512 4fdfe1696098c31942eb95acefa874b1494f52af35a21202d4215a675f04f67b0b896b1125ef0fe167fa6aecf56a00e7aee7c302ec43ece8fe2e2dee10c5b4f4
package
filename
size
different function
cl-salza2
./usr/share/common-lisp/source/salza2/reset.lisp
1.5 KB
acl2-books-source
./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/salza2-2.1/reset.lisp
1.5 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