Date: Sun, 05 Jul 2026 18:59:00 +0000 From: Muhammad Moinur Rahman <bofh@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: a34402e65a86 - main - math/py-claripy: Update version 9.0.5405=>9.2.219 Message-ID: <6a4aa974.3b07f.4ac5061d@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by bofh: URL: https://cgit.FreeBSD.org/ports/commit/?id=a34402e65a860fa687b5cb2af4f2eeb4cdd6fd2c commit a34402e65a860fa687b5cb2af4f2eeb4cdd6fd2c Author: Muhammad Moinur Rahman <bofh@FreeBSD.org> AuthorDate: 2026-07-05 17:25:42 +0000 Commit: Muhammad Moinur Rahman <bofh@FreeBSD.org> CommitDate: 2026-07-05 18:58:39 +0000 math/py-claripy: Update version 9.0.5405=>9.2.219 - Adopt port Changelog: https://github.com/angr/claripy/releases/tag/v9.2.219 --- math/py-claripy/Makefile | 18 ++++++++++-------- math/py-claripy/distinfo | 6 +++--- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/math/py-claripy/Makefile b/math/py-claripy/Makefile index f3c547ef2244..87ddfe8e59ff 100644 --- a/math/py-claripy/Makefile +++ b/math/py-claripy/Makefile @@ -1,29 +1,31 @@ PORTNAME= claripy DISTVERSIONPREFIX= v -DISTVERSION= ${ANGR_VERSION} -PORTREVISION= 1 +DISTVERSION= 9.2.219 CATEGORIES= math devel python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} -MAINTAINER= ports@FreeBSD.org +MAINTAINER= bofh@FreeBSD.org COMMENT= Abstraction layer for constraint solvers WWW= https://github.com/angr/claripy LICENSE= BSD2CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE +BUILD_DEPENDS= ${PY_SETUPTOOLS} \ + ${PYTHON_PKGNAMEPREFIX}wheel>0:devel/py-wheel@${PY_FLAVOR} RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}cachetools>0:devel/py-cachetools@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}decorator>0:devel/py-decorator@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}future>0:devel/py-future@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}pysmt>0:math/py-pysmt@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}z3-solver>4.8.5.0:math/py-z3-solver@${PY_FLAVOR} + ${PYTHON_PKGNAMEPREFIX}z3-solver>=4.13.0.0:math/py-z3-solver@${PY_FLAVOR} TEST_DEPENDS= z3>4.8.5.0:math/z3 USES= angr:nose python USE_GITHUB= yes GH_ACCOUNT= angr -USE_PYTHON= autoplist distutils +USE_PYTHON= autoplist pep517 NO_ARCH= yes +post-patch: + @${REINPLACE_CMD} '/license-files/d; s|^license = "BSD-2-Clause"|license = { text = "BSD-2-Clause" }|; s|77|63|g' \ + ${WRKSRC}/pyproject.toml + .include <bsd.port.mk> diff --git a/math/py-claripy/distinfo b/math/py-claripy/distinfo index f39bf59bd3de..60a2eec3154a 100644 --- a/math/py-claripy/distinfo +++ b/math/py-claripy/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1610804749 -SHA256 (angr-claripy-v9.0.5405_GH0.tar.gz) = e800cde64da99712c2b3b2e13640c7ed209811a7cf6a908ad76ee969a136eaa2 -SIZE (angr-claripy-v9.0.5405_GH0.tar.gz) = 152473 +TIMESTAMP = 1783272085 +SHA256 (angr-claripy-v9.2.219_GH0.tar.gz) = 231ab1ebd35cb1d3b347533018fc147c23c935679c1650ee74650fde7c5129b5 +SIZE (angr-claripy-v9.2.219_GH0.tar.gz) = 176149home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a4aa974.3b07f.4ac5061d>