From nobody Sun Jul 5 18:59:00 2026 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4gtcGX5nWSz6kmTK for ; Sun, 05 Jul 2026 18:59:00 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "YR1" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4gtcGX4Txlz3ghx for ; Sun, 05 Jul 2026 18:59:00 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1783277940; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=vLmwvsm9lYb7gJPW/X1GJql704ARp/RW1J4kBFN9ihE=; b=moum3ZwtgPC5C0M7lAS5/B8mAusSt+aN8G4A2TrxQhT2K23cdDTeC53FJyjTj5jf79n4In GMRXWWCcsoGnnwJ/UswnN92leiH4itqudapXa7Li7/9Z9HqX1KDC5JgJovv4wiMRkvnX6H BN8Q9PJOnqQRLBo7VeyD/LVWLKNOuNGS7B3jLv8v/zMj83/kO5JszqXzEOKPaoFHitsB58 kio65yxyeMpOpSopKXHakqqsvZHVxiB3qOeW4vpuIYEynR1kknuzMf7Ctbwplbn3brVDmD 01F7Vrf87mB5c1I25L+FkK6zWQp97rYRydpN8RoU11lhUWR3lXSAwZdV9w9oGA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1783277940; a=rsa-sha256; cv=none; b=lzpvc2/dZK35ODpdMATnELE6IYxmqc0vq/DCXTd5BL8a75tmFblQOrqdXi1UbW9tXuhrrB T7u0fAT4DEmDEGeKCpvaS5SYDwTajtl65u022tRXpPryCbyhxHekLG8KyDf69WFM7sE4Ja COQorMOvnTaVbSLs2TI1Ykr9/lxxLuS3GuxNoLw5E2quWdr4PpB1V0sPZkra53uT7Dja3x xiMImthyMaM4Zh4oZegOe3sWVo3hY4+Sncxi/0fmzqgCVhqJN+Wb9cU8cBVguSPofP1ifc RvlB4eCq+i5k4hszKSuLnUV+4a54ivVcCaK65HyEIunLQAVwbOrWrU4Uo+sBjA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1783277940; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=vLmwvsm9lYb7gJPW/X1GJql704ARp/RW1J4kBFN9ihE=; b=EfQj/AMmD9NpuGXK/vQws66pNpHY8QXT70qvz1JbGG0NT5KMXuPnLMEMe7NEcS56eZCP5O kFL2k1kjbkj/urkUFx9JNSkEEOcVtHYDJhtP+WWvs4aKXKI7c5/+fVYUm/KQJDRxsJFqDs +8ao4qXGQ2IyNkRq5329wrNXyEKcIccYZG3Uv5zwKa/szZ7TlBIjL5pzyjNt1zHhBJZ+mB E/bTBoL6XCIDQ5EsWPdAUxI1ZwwbpCxBSB/SK+zLv+1CCA2VnfRpcToqsMnUjCg9ualNct XXXDvmb8pv6X8KVoZLHr5r//nB9LQNBao79xQB50kU08X4MussXLmNcsF7POag== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4gtcGX3Q09zVcX for ; Sun, 05 Jul 2026 18:59:00 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 3b07f by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Sun, 05 Jul 2026 18:59:00 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Muhammad Moinur Rahman Subject: git: a34402e65a86 - main - math/py-claripy: Update version 9.0.5405=>9.2.219 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: bofh X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: a34402e65a860fa687b5cb2af4f2eeb4cdd6fd2c Auto-Submitted: auto-generated Date: Sun, 05 Jul 2026 18:59:00 +0000 Message-Id: <6a4aa974.3b07f.4ac5061d@gitrepo.freebsd.org> The branch main has been updated by bofh: URL: https://cgit.FreeBSD.org/ports/commit/?id=a34402e65a860fa687b5cb2af4f2eeb4cdd6fd2c commit a34402e65a860fa687b5cb2af4f2eeb4cdd6fd2c Author: Muhammad Moinur Rahman AuthorDate: 2026-07-05 17:25:42 +0000 Commit: Muhammad Moinur Rahman 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 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) = 176149