CVS commit: pkgsrc/math/py-claripy

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

Module Name:    pkgsrc
Committed By:   adam
Date:           Tue Jun 20 10:20:21 UTC 2023

Modified Files:
        pkgsrc/math/py-claripy: distinfo
Added Files:
        pkgsrc/math/py-claripy/patches: patch-setup.cfg

Log Message:
py-claripy: relax z3-solver requirement


To generate a diff of this commit:
cvs rdiff -u -r1.9 -r1.10 pkgsrc/math/py-claripy/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/py-claripy/patches/patch-setup.cfg

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

Modified files:

Index: pkgsrc/math/py-claripy/distinfo
diff -u pkgsrc/math/py-claripy/distinfo:1.9 pkgsrc/math/py-claripy/distinfo:1.10
--- pkgsrc/math/py-claripy/distinfo:1.9 Wed May 17 15:41:25 2023
+++ pkgsrc/math/py-claripy/distinfo     Tue Jun 20 10:20:20 2023
@@ -1,5 +1,6 @@
-$NetBSD: distinfo,v 1.9 2023/05/17 15:41:25 adam Exp $
+$NetBSD: distinfo,v 1.10 2023/06/20 10:20:20 adam Exp $
 
 BLAKE2s (claripy-9.2.51.tar.gz) = 78f3cafa453f4cbcd10a863d0296933ed3c8b1b05a2ece80c8e756576a83932c
 SHA512 (claripy-9.2.51.tar.gz) = 2a2edbbe2a44469fca2d45d8f45f59bd8ef4eeae2721e16034cdc107eb712bed0bc1f1fe53f7841a68da52b1c85c6e98d4539cbd3fbb17c6bf0191ce5ffb291d
 Size (claripy-9.2.51.tar.gz) = 158089 bytes
+SHA1 (patch-setup.cfg) = 9049ffadb50af8f3e3c51efdc662f3661b294a48

Added files:

Index: pkgsrc/math/py-claripy/patches/patch-setup.cfg
diff -u /dev/null pkgsrc/math/py-claripy/patches/patch-setup.cfg:1.1
--- /dev/null   Tue Jun 20 10:20:21 2023
+++ pkgsrc/math/py-claripy/patches/patch-setup.cfg      Tue Jun 20 10:20:20 2023
@@ -0,0 +1,25 @@
+$NetBSD: patch-setup.cfg,v 1.1 2023/06/20 10:20:20 adam Exp $
+
+Use correct url https://github.com/angr/claripy/issues/360
+Relax z3-solver requirement.
+
+--- setup.cfg.orig     2023-06-20 10:17:28.000000000 +0000
++++ setup.cfg
+@@ -4,7 +4,7 @@ version = attr: claripy.__version__
+ description = An abstraction layer for constraint solvers
+ long_description = file: README.md
+ long_description_content_type = text/markdown
+-url = https://github.com/angr/clairpy
++url = https://github.com/angr/claripy
+ license = BSD-2-Clause
+ license_files = LICENSE
+ classifiers = 
+@@ -22,7 +22,7 @@ install_requires = 
+       cachetools
+       decorator
+       pysmt>=0.9.5
+-      z3-solver==4.10.2.0
++      z3-solver>=4.10.2.0
+ python_requires = >=3.8
+ 
+ [options.extras_require]