From 168bc64637ab5c206f276d4d6690e9fb69b78ed9 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sun, 1 Mar 2020 14:42:27 +0100
Subject: [PATCH] verifast: removed, does not work with OCaml 4.10

---
 srcpkgs/verifast/template | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 srcpkgs/verifast/template

diff --git a/srcpkgs/verifast/template b/srcpkgs/verifast/template
deleted file mode 100644
index 0d73b5e861f..00000000000
--- a/srcpkgs/verifast/template
+++ /dev/null
@@ -1,31 +0,0 @@
-# Template file for 'verifast'
-pkgname=verifast
-version=17.06
-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"
-makedepends="ocaml-lablgtk2-gtksourceview2 ocaml-num z3-ocaml glib-devel gtksourceview2-devel"
-short_desc="VeriFast code verifier in separation logic"
-maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
-license="MIT"
-homepage="https://github.com/verifast"
-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
-	vlicense LICENSE.md
-}
-
-verifast-vfide_package() {
-	short_desc+=" - vfide"
-	depends="verifast>=${version}_${revision}"
-	pkg_install() {
-		vmove usr/bin/vfide
-	}
-}