diff --git a/devel/py-crosshair-tool/Makefile b/devel/py-crosshair-tool/Makefile index d946ea8cce59..fa5ff6da3291 100644 --- a/devel/py-crosshair-tool/Makefile +++ b/devel/py-crosshair-tool/Makefile @@ -1,31 +1,31 @@ PORTNAME= crosshair-tool -PORTVERSION= 0.0.83 +PORTVERSION= 0.0.85 CATEGORIES= devel python MASTER_SITES= PYPI PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= sunpoet@FreeBSD.org COMMENT= Analyze Python code for correctness using symbolic execution WWW= https://crosshair.readthedocs.io/en/latest/ \ https://github.com/pschanely/CrossHair LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}setuptools>=0:devel/py-setuptools@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}wheel>=0:devel/py-wheel@${PY_FLAVOR} RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}importlib-metadata>=4.0.0:devel/py-importlib-metadata@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}packaging>=0:devel/py-packaging@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}pygls>=1.0.0:devel/py-pygls@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}typeshed-client>=2.0.5:devel/py-typeshed-client@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}typing-extensions>=3.10.0:devel/py-typing-extensions@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}typing-inspect>=0.7.1:devel/py-typing-inspect@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}z3-solver>=4.13.0.0:math/py-z3-solver@${PY_FLAVOR} -USES= python:3.9+ +USES= python:3.10+ USE_PYTHON= autoplist concurrent pep517 post-install: ${FIND} ${STAGEDIR}${PYTHON_SITELIBDIR} -name '*.so' -exec ${STRIP_CMD} {} + .include diff --git a/devel/py-crosshair-tool/distinfo b/devel/py-crosshair-tool/distinfo index 07b59e1480ad..6b950c15f1bb 100644 --- a/devel/py-crosshair-tool/distinfo +++ b/devel/py-crosshair-tool/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1742405470 -SHA256 (crosshair-tool-0.0.83.tar.gz) = 58fcc02928b1b3328eb649039f804a0f909bdd2f5f19b887eba4adebfd158acc -SIZE (crosshair-tool-0.0.83.tar.gz) = 448681 +TIMESTAMP = 1744288872 +SHA256 (crosshair-tool-0.0.85.tar.gz) = 9ba261fbb225241dddbd3b6f965bf5a788e385f3efff8a10aff9a90f11bcf727 +SIZE (crosshair-tool-0.0.85.tar.gz) = 467239