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