diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2019-06-26 18:41:25 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2019-06-26 18:41:25 +0000 |
| commit | 80f9d0a76975739d64c097ca8950b6f50da1ae5a (patch) | |
| tree | f9b56d288c80643825ffa4f8e61a983fe6074e90 /math/z3 | |
| parent | f8d1369a074ac723a5707ec14af52315345168b7 (diff) | |
| download | ports-80f9d0a76975739d64c097ca8950b6f50da1ae5a.tar.gz ports-80f9d0a76975739d64c097ca8950b6f50da1ae5a.zip | |
math/z3: Update to 4.8.5.
Notes
Notes:
svn path=/head/; revision=505178
Diffstat (limited to 'math/z3')
| -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 |