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