Subject: CVS commit: pkgsrc/math/py-z3solver
From: Jonathan Perkin
Date: 2022-05-09 11:08:28
Message id: 20220509090828.1F593FA94@cvs.NetBSD.org
Log Message:
py-z3solver: Portability fixes.
Files:
RevisionActionfile
1.6modifypkgsrc/math/py-z3solver/distinfo
1.3addpkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py
1.1addpkgsrc/math/py-z3solver/patches/patch-core_src_ast_value__generator.cpp
1.1addpkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__lookahead.cpp
1.1addpkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp
1.1addpkgsrc/math/py-z3solver/patches/patch-core_src_sat_smt_ba__solver.cpp
1.1addpkgsrc/math/py-z3solver/patches/patch-core_src_smt_smt__lookahead.cpp
1.1addpkgsrc/math/py-z3solver/patches/patch-core_src_solver_parallel__tactic.cpp