sha512 2f0d7576be42d79af9ef516715c8c1a789a45173e30024132265b22d2e09cbb66af326ac9b224fd5a7019f5b1b9cf8fd13e5202f33ae11ee748eb064f6dc8f44
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