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