PRGNAM="coccinelle" VERSION="1.2" HOMEPAGE="http://coccinelle.lip6.fr/" DOWNLOAD="https://github.com/coccinelle/coccinelle/archive/1.2/coccinelle-1.2.tar.gz" MD5SUM="2fb149bc3c196d6d8f2170d3d4cf2ae4" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocaml-num" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com"