Subject: CVS commit: pkgsrc/math/z3
From: Mark Davies
Date: 2016-07-16 06:02:13
Message id: 20160716040214.1B30AFBB5@cvs.NetBSD.org
Log Message:
gcc6 build fix
Files:
RevisionActionfile
1.2modifypkgsrc/math/z3/distinfo
1.1addpkgsrc/math/z3/patches/patch-src_util_debug.cpp
1.1addpkgsrc/math/z3/patches/patch-src_util_mpz.cpp