head	1.3;
access;
symbols
	pkgsrc-2025Q1:1.2.0.10
	pkgsrc-2025Q1-base:1.2
	pkgsrc-2024Q4:1.2.0.8
	pkgsrc-2024Q4-base:1.2
	pkgsrc-2024Q3:1.2.0.6
	pkgsrc-2024Q3-base:1.2
	pkgsrc-2024Q2:1.2.0.4
	pkgsrc-2024Q2-base:1.2
	pkgsrc-2024Q1:1.2.0.2
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.1.0.6
	pkgsrc-2023Q4-base:1.1
	pkgsrc-2023Q3:1.1.0.4
	pkgsrc-2023Q3-base:1.1
	pkgsrc-2023Q2:1.1.0.2
	pkgsrc-2023Q2-base:1.1;
locks; strict;
comment	@# @;


1.3
date	2025.04.17.16.06.23;	author adam;	state dead;
branches;
next	1.2;
commitid	jIfJ6qCzkf6McqRF;

1.2
date	2024.01.30.19.24.35;	author adam;	state Exp;
branches;
next	1.1;
commitid	ROilgz4ptZssxvWE;

1.1
date	2023.06.20.10.20.20;	author adam;	state Exp;
branches;
next	;
commitid	nqrbSkBE710tJFtE;


desc
@@


1.3
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: patch-setup.cfg,v 1.2 2024/01/30 19:24:35 adam Exp $

Relax z3-solver requirement.

--- setup.cfg.orig	2023-06-20 10:17:28.000000000 +0000
+++ setup.cfg
@@@@ -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]
@


1.2
log
@py-angr py-cle py-pyvex py-archinfo py-claripy py-ailment: updated to 9.2.87

9.2.87
Unknown changes
@
text
@d1 1
a1 1
$NetBSD: patch-setup.cfg,v 1.1 2023/06/20 10:20:20 adam Exp $
@


1.1
log
@py-claripy: relax z3-solver requirement
@
text
@d1 1
a1 1
$NetBSD$
a2 1
Use correct url https://github.com/angr/claripy/issues/360
a6 9
@@@@ -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 = 
@