sha512 4cffdc5e456681a9e9fca68a1da3797d8b2d4cc6a0eb02d7473e693e05a215cd66cf0652f9af4942d8fb1312bef48c716e91fa52aedfa1ad1a6f055c75dbcc46
package
filename
size
different function
coqide
./usr/share/pixmaps/coqide.xpm
1.4 KB
coq
./usr/share/pixmaps/coq.xpm
1.4 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