diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2021-10-24 18:53:37 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2021-10-24 18:54:07 +0000 |
commit | 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41 (patch) | |
tree | 53ba990036f45ef9b5e2ab40d2f7293d1370fdfe /math | |
parent | 41da112a939afae1d93ef7024da4bb8f7ccd1752 (diff) | |
download | ports-1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41.tar.gz ports-1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41.zip |
math/z3: Update to 4.8.12
Diffstat (limited to 'math')
-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 ec9ce519e62c..7e4d6165beae 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,6 +1,6 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.10 +DISTVERSION= 4.8.12 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index 08f8911541d9..caab8424e15f 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1613658362 -SHA256 (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 -SIZE (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 4731869 +TIMESTAMP = 1635100958 +SHA256 (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 +SIZE (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = 4803435 |