diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2021-02-18 14:35:50 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2021-02-18 14:35:50 +0000 |
| commit | d359c0d70d6c3a9a34cf042e853629ea7ae2aedf (patch) | |
| tree | 8c1cdd37f68a7c1181730a49466100bf007ece44 /math/z3 | |
| parent | 128838b069f5fb610857f02768d218a52e1506f6 (diff) | |
| download | ports-d359c0d70d6c3a9a34cf042e853629ea7ae2aedf.tar.gz ports-d359c0d70d6c3a9a34cf042e853629ea7ae2aedf.zip | |
math/z3: Update to 4.8.10
Notes
Notes:
svn path=/head/; revision=565936
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 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 |