From 8722ea8624277c0a7a7b0b5b3cd6e9689bc164d2 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 9 Aug 2019 20:21:33 +0200
Subject: [PATCH] coccinelle: mark broken.

---
 srcpkgs/coccinelle/template | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template
index 62625e5b000..c22234da70b 100644
--- a/srcpkgs/coccinelle/template
+++ b/srcpkgs/coccinelle/template
@@ -14,6 +14,8 @@ homepage="http://coccinelle.lip6.fr/"
 distfiles="http://coccinelle.lip6.fr/distrib/coccinelle-${version}.tar.gz"
 checksum=475e2bed5486023d19d9e0dec5e109b04b872a9917b62faf83ce3521676f728b
 
+broken="ocaml 4.08"
+
 export OCAMLPARAM="safe-string=0,_"
 disable_parallel_build=yes
 nocross=yes