sha512 21f236188b8fac93248ca3c3a3abd7858e613164a864fa9f7f0bccb1bdb59251d9c605161d71743b0169f7d60fd6bbcfcb34300eb994824ffd23501201df1a17
package
filename
size
different function
acl2-doc
./usr/share/doc/acl2-doc/books/acl2s/aspf/interface/acl2s-utils/README.md
274 B
acl2-doc
./usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios/acl2s-utils/README.md
274 B
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