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

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

diff --git a/srcpkgs/verifast/template b/srcpkgs/verifast/template
index 73ba549816f..0d73b5e861f 100644
--- a/srcpkgs/verifast/template
+++ b/srcpkgs/verifast/template
@@ -14,6 +14,8 @@ distfiles="https://github.com/verifast/${pkgname}/archive/v${version}.tar.gz"
 checksum=2cadc3d39730b5422373ebc642009d3efb84373a8fc61b1d51877063a1e4191a
 nocross=yes
 
+broken="ocaml 4.08"
+
 do_install() {
 	vbin bin/verifast
 	vbin bin/vfide