From c92ee29b17ad2239ce11ddd76134b199ef5a3ed2 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 30 Jan 2021 16:23:40 +0100 Subject: 20210130.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