From b67457dab7818864ff1c744ce1f4df2a57bc75af Mon Sep 17 00:00:00 2001 From: Gleb Popov Date: Tue, 20 Oct 2020 19:02:37 +0000 Subject: [PATCH] math/z3: Update to 4.8.9 --- math/z3/Makefile | 2 +- math/z3/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index 17a42582fccd..53fad4a31646 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,7 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.8 +DISTVERSION= 4.8.9 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index ac8e6fc5de32..77a38ecaf8d9 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1589357329 -SHA256 (Z3Prover-z3-z3-4.8.8_GH0.tar.gz) = 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff -SIZE (Z3Prover-z3-z3-4.8.8_GH0.tar.gz) = 4520119 +TIMESTAMP = 1603219996 +SHA256 (Z3Prover-z3-z3-4.8.9_GH0.tar.gz) = c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 +SIZE (Z3Prover-z3-z3-4.8.9_GH0.tar.gz) = 4624159