diff options
| -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 53fad4a31646..71a7dba1ff96 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,7 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.9 +DISTVERSION= 4.8.10 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index 77a38ecaf8d9..08f8911541d9 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1603219996 -SHA256 (Z3Prover-z3-z3-4.8.9_GH0.tar.gz) = c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 -SIZE (Z3Prover-z3-z3-4.8.9_GH0.tar.gz) = 4624159 +TIMESTAMP = 1613658362 +SHA256 (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 +SIZE (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 4731869 |