Subject: CVS commit: pkgsrc/devel/verifast
From: David A. Holland
Date: 2018-03-13 06:45:25
Message id: 20180313054525.E0B22FB40@cvs.NetBSD.org

Log Message:
Update to 18.02 to fix build with ocaml 4.06.

pkgsrc changes:
  - depends on z3; theoretically optional but build fails without it
  - needs ocaml-findlib now
  - use ocaml.mk

No upstream changelog that I can find besides the github history.

Files:
RevisionActionfile
1.11modifypkgsrc/devel/verifast/Makefile
1.4modifypkgsrc/devel/verifast/distinfo
1.3modifypkgsrc/devel/verifast/patches/patch-src_GNUmakefile
1.1addpkgsrc/devel/verifast/files/GNUmakefile.settings
1.1removepkgsrc/devel/verifast/patches/patch-src_linux_caml__stopwatch.c