diff options
Diffstat (limited to 'development/coccinelle/coccinelle.info')
| -rw-r--r-- | development/coccinelle/coccinelle.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/coccinelle/coccinelle.info b/development/coccinelle/coccinelle.info new file mode 100644 index 0000000000..184c6e8461 --- /dev/null +++ b/development/coccinelle/coccinelle.info @@ -0,0 +1,10 @@ +PRGNAM="coccinelle" +VERSION="1.0.0_rc20" +HOMEPAGE="http://coccinelle.lip6.fr/" +DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc20.tgz" +MD5SUM="08c21af0160863bda903d68718462979" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="menhir" +MAINTAINER="Dimitris Zlatanidis" +EMAIL="d.zlatanidis@gmail.com" |