$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]