D60985.1794600592.diff
No OneTemporary
Actions

Authored By

Unknown

Size

776 B

Referenced Files

None

Subscribers

None

D60985.1794600592.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= 5.3.1.0
	+DISTVERSION= 5.3.2.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 = 1792271156
	-SHA256 (z3_solver-5.3.1.0.tar.gz) = efa420092193e1e65f90fedb0905e230deb1673634e0c66cccf4aab14d533473
	-SIZE (z3_solver-5.3.1.0.tar.gz) = 5870439
	+TIMESTAMP = 1793221147
	+SHA256 (z3_solver-5.3.2.0.tar.gz) = 91b0028697082c3e48e7fb36dd13d642aee33a74a610c8c90b6d83f82e9f7fcc
	+SIZE (z3_solver-5.3.2.0.tar.gz) = 6034287