tags 512658 + pending thanks I uploaded the package. It is also available here: http://people.debian.org/~eugen/coccinelle/
Attachment: signature.asc Description: Digital signature