sha512 a0a7735f42a996ca2124119912fe330142427456b92f2cf1fa0131f5d21c7001e9bbc9cdba4c42533dbafb05ea089b94513a30bffe751700ef74379570c1f45d
package
filename
size
different function
cl-nibbles
./usr/share/doc/cl-nibbles/README.md
1.6 KB
acl2-doc
./usr/share/doc/acl2-doc/books/quicklisp/bundle/software/nibbles-20231021-git/README.md
1.6 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