CVS commit: pkgsrc/devel/deepstate

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

Module Name:    pkgsrc
Committed By:   adam
Date:           Thu May 11 09:56:03 UTC 2023

Modified Files:
        pkgsrc/devel/deepstate: Makefile

Log Message:
deepstate: depends on math/py-z3; bump revision


To generate a diff of this commit:
cvs rdiff -u -r1.10 -r1.11 pkgsrc/devel/deepstate/Makefile

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

Modified files:

Index: pkgsrc/devel/deepstate/Makefile
diff -u pkgsrc/devel/deepstate/Makefile:1.10 pkgsrc/devel/deepstate/Makefile:1.11
--- pkgsrc/devel/deepstate/Makefile:1.10        Mon Jan  9 06:52:52 2023
+++ pkgsrc/devel/deepstate/Makefile     Thu May 11 09:56:03 2023
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.10 2023/01/09 06:52:52 khorben Exp $
+# $NetBSD: Makefile,v 1.11 2023/05/11 09:56:03 adam Exp $
 
-PKGREVISION=   4
+PKGREVISION=   5
 
 USE_LANGUAGES= c99 c++
 USE_CMAKE=     yes
@@ -25,7 +25,7 @@ DEPENDS+=     ${PYPKGPREFIX}-progressbar2-[0
 DEPENDS+=      ${PYPKGPREFIX}-rpyc-[0-9]*:../../net/py-rpyc
 DEPENDS+=      ${PYPKGPREFIX}-smt>=0.9.5:../../math/py-smt
 DEPENDS+=      ${PYPKGPREFIX}-toolz>=0.9.1:../../devel/py-toolz
-DEPENDS+=      ${PYPKGPREFIX}-z3solver-[0-9]*:../../math/py-z3solver
+DEPENDS+=      ${PYPKGPREFIX}-z3-[0-9]*:../../math/py-z3
 
 PYTHON_VERSIONS_INCOMPATIBLE=  27 311