From e9960fba8f1f93504cff4c2f650896ee84568230 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 10 Oct 2020 09:01:34 +0200 Subject: 20201010.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/coccinelle/coccinelle.info | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'development/coccinelle/coccinelle.info') diff --git a/development/coccinelle/coccinelle.info b/development/coccinelle/coccinelle.info index 02eee74e4c..6673d37227 100644 --- a/development/coccinelle/coccinelle.info +++ b/development/coccinelle/coccinelle.info @@ -1,8 +1,8 @@ PRGNAM="coccinelle" -VERSION="1.0.6" +VERSION="1.0.8" 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.0.8/coccinelle-1.0.8.tar.gz" +MD5SUM="d58871107c28a970fc53e4f8124d14e1" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="camlp4 menhir" -- cgit v1.2.3