D58887.1794712293.diff
No OneTemporary
Actions

Authored By

Unknown

Size

1 KB

Referenced Files

None

Subscribers

None

D58887.1794712293.diff
View Options

	diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
	--- a/math/py-z3-solver/Makefile
	+++ b/math/py-z3-solver/Makefile
	@@ -1,6 +1,5 @@
	PORTNAME= z3-solver
	-DISTVERSION= 5.0.0.0
	-PORTREVISION= 1
	+DISTVERSION= 5.1.0.0
	CATEGORIES= math
	PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

	@@ -19,7 +18,7 @@
	USE_GITHUB= yes
	GH_ACCOUNT= Z3Prover
	GH_PROJECT= z3
	-GH_TAGNAME= z3-5.0.0
	+GH_TAGNAME= z3-5.1.0

	WRKSRC_SUBDIR= src/api/python
	WRKSRC_top= ${WRKSRC}/../../..
	diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo
	--- a/math/py-z3-solver/distinfo
	+++ b/math/py-z3-solver/distinfo
	@@ -1,3 +1,3 @@
	-TIMESTAMP = 1785190590
	-SHA256 (Z3Prover-z3-5.0.0.0-z3-5.0.0_GH0.tar.gz) = f3bf2274e61f22417c7354613cb57d4f8de86067029db1771523d7c34d27bf4c
	-SIZE (Z3Prover-z3-5.0.0.0-z3-5.0.0_GH0.tar.gz) = 6777317
	+TIMESTAMP = 1786963284
	+SHA256 (Z3Prover-z3-5.1.0.0-z3-5.1.0_GH0.tar.gz) = c433e1add0431c5edf1644bd9951c40588024d2d288f0e4215e5fcb6e3b4277d
	+SIZE (Z3Prover-z3-5.1.0.0-z3-5.1.0_GH0.tar.gz) = 6689265