diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2019-02-23 16:26:37 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2019-02-23 16:26:37 +0000 |
| commit | 3510c5afb9a7d9c623d2a28915bdb88afdfb704e (patch) | |
| tree | f9dfa605346dd49ecf62625167e38af0097f29b4 /math/z3 | |
| parent | 573a91b05329c3f2cb6cea0eebaff19d56f273cd (diff) | |
| download | ports-3510c5afb9a7d9c623d2a28915bdb88afdfb704e.tar.gz ports-3510c5afb9a7d9c623d2a28915bdb88afdfb704e.zip | |
math/z3: Update to 4.8.4.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19306
Notes
Notes:
svn path=/head/; revision=493700
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 3 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index a7d995eaeabf..7f6cc71631f0 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,8 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.8.3 -PORTREVISION= 1 +DISTVERSION= 4.8.4 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index 05e225667bc5..5a217dcf8e65 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1542720512 -SHA256 (Z3Prover-z3-z3-4.8.3_GH0.tar.gz) = 21620b68c373cdea0d3b2cf24020be4ecfb22eddc6629663f6e9ce31cfdc78de -SIZE (Z3Prover-z3-z3-4.8.3_GH0.tar.gz) = 4119116 +TIMESTAMP = 1550916438 +SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 +SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081 |