Miroirs/SlackBuildsOrg
1
0
Fork 0
mirror of https://github.com/SlackBuildsOrg/slackbuilds synced 2024-09-28 15:21:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/z3: Updated for version 4.8.7.

Browse source 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Nick Smallbone 2020-01-12 12:36:18 +07:00 committed by Willy Sudiarto Raharjo
parent 939a3f40d4
commit 7871dab6cd
3 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
academic/z3/slack-desc
View file

@ -13,7 +13,7 @@ z3: (SMT) solver. Given a formula in first-order logic, it attempts to
z3: either prove the formula or find a counterexample. Z3 supports
z3: arithmetic, reasoning about arrays, and several other built-in
z3: theories. Input problems are written in SMT-LIB format.
z3:
z3:
z3: This package includes the z3 program as well as C++ and Python APIs.
z3:
z3:
z3: Homepage: https://github.com/Z3Prover/z3/wiki

2
academic/z3/z3.SlackBuild
View file

@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=z3
VERSION=${VERSION:-4.8.4}
VERSION=${VERSION:-4.8.7}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}

6
academic/z3/z3.info
View file

@ -1,8 +1,8 @@
PRGNAM="z3"
VERSION="4.8.4"
VERSION="4.8.7"
HOMEPAGE="https://github.com/Z3Prover/z3/wiki"
DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz"
MD5SUM="b74bbb04e90c034125fe9e01988add95"
DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.7.tar.gz"
MD5SUM="18e7332ab136c1d8686ea719ed7107ed"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""