D55324.id172051.diff
No OneTemporary
Actions

Size

782 B

Referenced Files

None

Subscribers

None

D55324.id172051.diff
View Options

	diff --git a/math/z3/Makefile b/math/z3/Makefile
	--- a/math/z3/Makefile
	+++ b/math/z3/Makefile
	@@ -1,5 +1,5 @@
	PORTNAME= z3
	-DISTVERSION= 4.15.4.0
	+DISTVERSION= 4.15.8.0
	CATEGORIES= math
	MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
	DISTNAME= ${PORTNAME}_solver-${DISTVERSION}
	diff --git a/math/z3/distinfo b/math/z3/distinfo
	--- a/math/z3/distinfo
	+++ b/math/z3/distinfo
	@@ -1,3 +1,3 @@
	-TIMESTAMP = 1761831549
	-SHA256 (z3_solver-4.15.4.0.tar.gz) = 928c29b58c4eb62106da51c1914f6a4a55d0441f8f48a81b9da07950434a8946
	-SIZE (z3_solver-4.15.4.0.tar.gz) = 5018600
	+TIMESTAMP = 1771308833
	+SHA256 (z3_solver-4.15.8.0.tar.gz) = f15aa2ff4c2ddc40aea1dc6a4d247ca68e0cf6c06e318a820ca049d074f7c03d
	+SIZE (z3_solver-4.15.8.0.tar.gz) = 5073041