CVS commit: pkgsrc/math

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   adam
Date:           Thu May 11 09:57:54 UTC 2023

Modified Files:
        pkgsrc/math: Makefile
Removed Files:
        pkgsrc/math/py-z3solver: DESCR Makefile PLIST distinfo
        pkgsrc/math/py-z3solver/patches: patch-core_scripts_mk__util.py
            patch-core_src_ast_value__generator.cpp
            patch-core_src_sat_sat__lookahead.cpp
            patch-core_src_sat_sat__solver.cpp
            patch-core_src_sat_smt_ba__solver.cpp
            patch-core_src_smt_smt__lookahead.cpp
            patch-core_src_solver_parallel__tactic.cpp

Log Message:
py-z3solver: removed, use py-z3 from now on


To generate a diff of this commit:
cvs rdiff -u -r1.562 -r1.563 pkgsrc/math/Makefile
cvs rdiff -u -r1.1 -r0 pkgsrc/math/py-z3solver/DESCR
cvs rdiff -u -r1.6 -r0 pkgsrc/math/py-z3solver/Makefile \
    pkgsrc/math/py-z3solver/distinfo
cvs rdiff -u -r1.2 -r0 pkgsrc/math/py-z3solver/PLIST
cvs rdiff -u -r1.3 -r0 \
    pkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py
cvs rdiff -u -r1.1 -r0 \
    pkgsrc/math/py-z3solver/patches/patch-core_src_ast_value__generator.cpp \
    pkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__lookahead.cpp \
    pkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp \
    pkgsrc/math/py-z3solver/patches/patch-core_src_sat_smt_ba__solver.cpp \
    pkgsrc/math/py-z3solver/patches/patch-core_src_smt_smt__lookahead.cpp \
    pkgsrc/math/py-z3solver/patches/patch-core_src_solver_parallel__tactic.cpp

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/Makefile
diff -u pkgsrc/math/Makefile:1.562 pkgsrc/math/Makefile:1.563
--- pkgsrc/math/Makefile:1.562  Sat May  6 09:27:07 2023
+++ pkgsrc/math/Makefile        Thu May 11 09:57:54 2023
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.562 2023/05/06 09:27:07 wiz Exp $
+# $NetBSD: Makefile,v 1.563 2023/05/11 09:57:54 adam Exp $
 
 COMMENT=       Mathematics
 
@@ -432,7 +432,6 @@ SUBDIR+=    py-tensorboard
 SUBDIR+=       py-uncertainties
 SUBDIR+=       py-xarray
 SUBDIR+=       py-z3
-SUBDIR+=       py-z3solver
 SUBDIR+=       qalculate
 SUBDIR+=       qalculate-gtk
 SUBDIR+=       qhull