Subject: CVS commit: pkgsrc/math/z3
From: David A. Holland
Date: 2015-11-24 06:45:58
Message id: 20151124054558.E716C98@cvs.netbsd.org
Log Message:
Package the Z3 theorem prover / SMT solver from Microsoft Research.
Files:
RevisionActionfile
1.1addpkgsrc/math/z3/DESCR
1.1addpkgsrc/math/z3/Makefile
1.1addpkgsrc/math/z3/PLIST
1.1addpkgsrc/math/z3/distinfo
1.1addpkgsrc/math/z3/options.mk
1.1addpkgsrc/math/z3/patches/patch-scripts_mk__util.py