diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index c22234da70b..507eb3fa3ac 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -1,6 +1,6 @@ # Template file for 'coccinelle' pkgname=coccinelle -version=1.0.7 +version=1.0.8 revision=1 build_style=gnu-configure configure_args="--without-pdflatex --enable-release @@ -11,10 +11,8 @@ short_desc="Program matching and transformation engine" maintainer="Orphaned " license="GPL-2.0-only" homepage="http://coccinelle.lip6.fr/" -distfiles="http://coccinelle.lip6.fr/distrib/coccinelle-${version}.tar.gz" -checksum=475e2bed5486023d19d9e0dec5e109b04b872a9917b62faf83ce3521676f728b - -broken="ocaml 4.08" +distfiles="https://github.com/coccinelle/coccinelle/archive/${version}.tar.gz" +checksum=9f994bf98bc88c333ac7a54a03d4fa1826122eec7016a1f22c6b2ef2a6a4347f export OCAMLPARAM="safe-string=0,_" disable_parallel_build=yes