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"