diff options
| author | Nick Smallbone <nick@smallbone.se> | 2022-10-05 13:14:04 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-10-08 09:12:54 +0700 |
| commit | 3f3095188acdb49103476a0897e010dbdb31de1d (patch) | |
| tree | fb9fb50a74b9a0fc47a34a8e93e5d821332cb7cf /academic/z3/z3.info | |
| parent | 8e15ef3c0fcf85ab38b5be62e310f67b59751e8e (diff) | |
| download | slackbuilds-3f3095188acdb49103476a0897e010dbdb31de1d.tar.xz | |
academic/z3: Updated for version 4.11.2.
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/z3/z3.info')
| -rw-r--r-- | academic/z3/z3.info | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/academic/z3/z3.info b/academic/z3/z3.info index 762fe838aceb..b3b6178ae502 100644 --- a/academic/z3/z3.info +++ b/academic/z3/z3.info @@ -1,8 +1,8 @@ PRGNAM="z3" -VERSION="4.8.12" +VERSION="4.11.2" HOMEPAGE="https://github.com/Z3Prover/z3/wiki" -DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.12/z3-z3-4.8.12.tar.gz" -MD5SUM="73fd07d094685039b03aed9e38040d13" +DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-z3-4.11.2.tar.gz" +MD5SUM="35afb5c6658bc07c11d73ef7f08ff272" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" |