Subject: CVS commit: pkgsrc/math/z3
From: David A. Holland
Date: 2018-03-11 07:14:45
Message id: 20180311061445.E597AFB40@cvs.NetBSD.org
Log Message:
Requires ocaml-num with ocaml 4.06
Files:
RevisionActionfile
1.2modifypkgsrc/math/z3/options.mk