From ef4286df8bfca12a23844fa6f0a9e5b70b8bc34e Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Thu, 20 Aug 2020 14:26:03 +0200 Subject: [PATCH] coccinelle: rebuild for ocaml-4.11.0. --- srcpkgs/coccinelle/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index 20d0c536133..85939a89d5c 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -1,7 +1,7 @@ # Template file for 'coccinelle' pkgname=coccinelle version=1.0.8 -revision=3 +revision=4 build_style=gnu-configure configure_args="--without-pdflatex --enable-release --with-python=/usr/bin/python3"