diff options
Diffstat (limited to 'development/coccinelle/coccinelle.info')
| -rw-r--r-- | development/coccinelle/coccinelle.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/development/coccinelle/coccinelle.info b/development/coccinelle/coccinelle.info index 02eee74e4c..b508d15ca1 100644 --- a/development/coccinelle/coccinelle.info +++ b/development/coccinelle/coccinelle.info @@ -1,10 +1,10 @@ PRGNAM="coccinelle" -VERSION="1.0.6" +VERSION="1.1.1" HOMEPAGE="http://coccinelle.lip6.fr/" -DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz" -MD5SUM="01b6e7e471055c9af7f9ceadbd452108" +DOWNLOAD="https://github.com/coccinelle/coccinelle/archive/1.1.1/coccinelle-1.1.1.tar.gz" +MD5SUM="d7404a70dd4480cb0f0d346550437d5c" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="camlp4 menhir" +REQUIRES="ocaml-num" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com" |