head	1.1;
access;
symbols
	pkgsrc-2026Q1:1.1.0.8
	pkgsrc-2026Q1-base:1.1
	pkgsrc-2025Q4:1.1.0.6
	pkgsrc-2025Q4-base:1.1
	pkgsrc-2025Q3:1.1.0.4
	pkgsrc-2025Q3-base:1.1
	pkgsrc-2025Q2:1.1.0.2
	pkgsrc-2025Q2-base:1.1;
locks; strict;
comment	@# @;


1.1
date	2025.04.17.16.06.23;	author adam;	state Exp;
branches;
next	;
commitid	jIfJ6qCzkf6McqRF;


desc
@@


1.1
log
@devel/py-ailment devel/py-angr devel/py-archinfo devel/py-cle devel/py-pyvex math/py-claripy: updated to 9.2.150

9.2.150
Unknown changes
@
text
@$NetBSD$

Allow newer z3.

--- pyproject.toml.orig	2025-04-17 11:03:44.479855504 +0000
+++ pyproject.toml
@@@@ -16,7 +16,7 @@@@ classifiers = [
 ]
 urls = { Homepage = "https://github.com/angr/claripy" }
 requires-python = ">=3.10"
-dependencies = ["cachetools", "typing-extensions", "z3-solver==4.13.0.0"]
+dependencies = ["cachetools", "typing-extensions", "z3-solver>=4.13.0.0"]
 dynamic = ["version"]
 
 [project.readme]
@