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 b1fe5f8135..98baec44bb 100644 --- a/development/coccinelle/coccinelle.info +++ b/development/coccinelle/coccinelle.info @@ -1,10 +1,10 @@ PRGNAM="coccinelle" -VERSION="1.0.4" +VERSION="1.0.5" HOMEPAGE="http://coccinelle.lip6.fr/" -DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.4.tgz" -MD5SUM="42a25649a639266d145e5cb790fcfb0d" +DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.5.tgz" +MD5SUM="f6914fa809b900a50ca6984181dae1b4" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="menhir" +REQUIRES="camlp4 menhir" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com" |