png_sha512 edb3144ea039568bafa03fba5639d83e6f78152dc7ab4571d9298a213262a54b136c5e5da66b96679672f92076289a4152686197e07d97a8c2bec1f0a48a8e730000010000000100
package
filename
size
different function
coqide
./usr/share/coq/coq.png
12.6 KB
libcoq-stdlib
./usr/share/doc/libcoq-stdlib/html/logo.png
12.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