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