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