From 5cb5d749a25daed138ca7608bc3b45a95e19e44f Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Mon, 16 Jul 2018 14:57:06 +0200
Subject: [PATCH] verifast: rebuild for ocaml-4.07.0.

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

diff --git a/srcpkgs/verifast/template b/srcpkgs/verifast/template
index bc70aa98e22..73ba549816f 100644
--- a/srcpkgs/verifast/template
+++ b/srcpkgs/verifast/template
@@ -1,7 +1,7 @@
 # Template file for 'verifast'
 pkgname=verifast
 version=17.06
-revision=1
+revision=2
 build_style=gnu-makefile
 make_build_args="-C src Z3V4DOT5=yes LD_LIBRARY_PATH=/usr/lib/ocaml/stublibs OCAMLCFLAGS=-unsafe-string build"
 hostmakedepends="vala unzip ocaml ocaml-findlib m4 camlp4 pkg-config"
@@ -12,7 +12,7 @@ license="MIT"
 homepage="https://github.com/verifast"
 distfiles="https://github.com/verifast/${pkgname}/archive/v${version}.tar.gz"
 checksum=2cadc3d39730b5422373ebc642009d3efb84373a8fc61b1d51877063a1e4191a
-nocross="yes"
+nocross=yes
 
 do_install() {
 	vbin bin/verifast