Subject: CVS commit: pkgsrc/math
From: Adam Ciarcinski
Date: 2023-05-11 11:57:54
Message id: 20230511095754.D848BFA87@cvs.NetBSD.org
Log Message:
py-z3solver: removed, use py-z3 from now on
Files:
RevisionActionfile
1.1removepkgsrc/math/py-z3solver/DESCR
1.6removepkgsrc/math/py-z3solver/Makefile
1.2removepkgsrc/math/py-z3solver/PLIST
1.6removepkgsrc/math/py-z3solver/distinfo
1.3removepkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py
1.1removepkgsrc/math/py-z3solver/patches/patch-core_src_ast_value__generator.cpp
1.1removepkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__lookahead.cpp
1.1removepkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp
1.1removepkgsrc/math/py-z3solver/patches/patch-core_src_sat_smt_ba__solver.cpp
1.1removepkgsrc/math/py-z3solver/patches/patch-core_src_smt_smt__lookahead.cpp
1.1removepkgsrc/math/py-z3solver/patches/patch-core_src_solver_parallel__tactic.cpp