diff options
| author | arrowd <arrowd@FreeBSD.org> | 2019-11-23 23:55:43 +0800 |
|---|---|---|
| committer | arrowd <arrowd@FreeBSD.org> | 2019-11-23 23:55:43 +0800 |
| commit | 3b6c6351049fec70a7223bd74d9607d0429619fb (patch) | |
| tree | b3da21f278d10122537366ac3f18b392c37ded97 /math/z3 | |
| parent | 1bda0d3c700f484cd7814801c6735f003a5f294a (diff) | |
| download | freebsd-ports-gnome-3b6c6351049fec70a7223bd74d9607d0429619fb.tar.gz freebsd-ports-gnome-3b6c6351049fec70a7223bd74d9607d0429619fb.tar.zst freebsd-ports-gnome-3b6c6351049fec70a7223bd74d9607d0429619fb.zip | |
math/z3: Update to 4.8.7.
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 2 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index b282af1ba3be..8609fb132efd 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,7 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.6 +DISTVERSION= 4.8.7 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index c4c69cf4ef16..137234e95330 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1569096483 -SHA256 (Z3Prover-z3-z3-4.8.6_GH0.tar.gz) = 37922fa5085170cad6504498d9758fb63c61d5cb5b68689c11a6c5e84f0311b3 -SIZE (Z3Prover-z3-z3-4.8.6_GH0.tar.gz) = 4328752 +TIMESTAMP = 1574523658 +SHA256 (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 +SIZE (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 4343720 |