PRGNAM="coccinelle" VERSION="1.0.1" HOMEPAGE="http://coccinelle.lip6.fr/" DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.1.tgz" MD5SUM="8b850fb451091aa82441e2eebea8061b" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="menhir" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com"