diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index f3f708b584f..211c9bdb439 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -1,7 +1,7 @@ # Template file for 'coccinelle' pkgname=coccinelle version=1.1.0 -revision=2 +revision=3 build_style=gnu-configure configure_args="--without-pdflatex --enable-release --enable-opt --with-python=/usr/bin/python3"