Tue Jun 20 10:20:21 2023 UTC ()
py-claripy: relax z3-solver requirement
(adam)
diff -r1.9 -r1.10 pkgsrc/math/py-claripy/distinfo
diff -r0 -r1.1 pkgsrc/math/py-claripy/patches/patch-setup.cfg
--- pkgsrc/math/py-claripy/distinfo 2023/05/17 15:41:25 1.9
+++ pkgsrc/math/py-claripy/distinfo 2023/06/20 10:20:20 1.10
| @@ -1,5 +1,6 @@ | | | @@ -1,5 +1,6 @@ |
| 1 | $NetBSD: distinfo,v 1.9 2023/05/17 15:41:25 adam Exp $ | | 1 | $NetBSD: distinfo,v 1.10 2023/06/20 10:20:20 adam Exp $ |
| 2 | | | 2 | |
| 3 | BLAKE2s (claripy-9.2.51.tar.gz) = 78f3cafa453f4cbcd10a863d0296933ed3c8b1b05a2ece80c8e756576a83932c | | 3 | BLAKE2s (claripy-9.2.51.tar.gz) = 78f3cafa453f4cbcd10a863d0296933ed3c8b1b05a2ece80c8e756576a83932c |
| 4 | SHA512 (claripy-9.2.51.tar.gz) = 2a2edbbe2a44469fca2d45d8f45f59bd8ef4eeae2721e16034cdc107eb712bed0bc1f1fe53f7841a68da52b1c85c6e98d4539cbd3fbb17c6bf0191ce5ffb291d | | 4 | SHA512 (claripy-9.2.51.tar.gz) = 2a2edbbe2a44469fca2d45d8f45f59bd8ef4eeae2721e16034cdc107eb712bed0bc1f1fe53f7841a68da52b1c85c6e98d4539cbd3fbb17c6bf0191ce5ffb291d |
| 5 | Size (claripy-9.2.51.tar.gz) = 158089 bytes | | 5 | Size (claripy-9.2.51.tar.gz) = 158089 bytes |
| | | 6 | SHA1 (patch-setup.cfg) = 9049ffadb50af8f3e3c51efdc662f3661b294a48 |
$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]