diff options
-rw-r--r-- | math/z3/Makefile | 4 | ||||
-rw-r--r-- | math/z3/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 7f6cc71631f0..35b29a343a81 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,8 +1,8 @@ # $FreeBSD$ PORTNAME= z3 -DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.8.4 +DISTVERSIONPREFIX= Z3- +DISTVERSION= 4.8.5 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index 5a217dcf8e65..f5a044831af1 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1550916438 -SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 -SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081 +TIMESTAMP = 1561572798 +SHA256 (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 +SIZE (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4177051 |