diff options
| author | Florian Franzmann | 2019-09-21 10:19:43 +0200 |
|---|---|---|
| committer | Florian Franzmann | 2019-09-25 21:36:44 +0200 |
| commit | 5e2c99f64119c9b04f791a5b7b1615e73ae3cd17 (patch) | |
| tree | fbdf04338ead47ee0a2f4b43b4947e611d4d61ae /devel | |
| parent | 41aa22b4a9a59e75cbb9b1800675316cca66218c (diff) | |
devel/z3: version 4.8.6
Diffstat (limited to 'devel')
| -rwxr-xr-x | devel/z3/DETAILS | 10 | ||||
| -rw-r--r-- | devel/z3/HISTORY | 3 |
2 files changed, 8 insertions, 5 deletions
diff --git a/devel/z3/DETAILS b/devel/z3/DETAILS index f1ad055f6f..02de718e73 100755 --- a/devel/z3/DETAILS +++ b/devel/z3/DETAILS @@ -1,10 +1,10 @@ SPELL=z3 - VERSION=4.8.5 - SOURCE=z3-Z3-$VERSION.tar.gz -SOURCE_DIRECTORY="$BUILD_DIRECTORY/z3-Z3-$VERSION" + VERSION=4.8.6 + SOURCE=$SPELL-$VERSION.tar.gz +SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$SPELL-$VERSION" WEB_SITE=https://github.com/Z3Prover/z3 - SOURCE_URL=("$WEB_SITE/archive/Z3-$VERSION.tar.gz") - SOURCE_HASH=sha512:ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309 + SOURCE_URL=$WEB_SITE/archive/$SOURCE + SOURCE_HASH=sha512:d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1 LICENSE=(MIT) SHORT="The Z3 Theorem Prover" cat << EOF diff --git a/devel/z3/HISTORY b/devel/z3/HISTORY index 093af70833..6a17732795 100644 --- a/devel/z3/HISTORY +++ b/devel/z3/HISTORY @@ -1,2 +1,5 @@ +2019-09-21 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 4.8.6 + 2019-08-20 Ismael Luceno <ismael@sourcemage.org> * BUILD, DEPENDS, DETAILS, INSTALL: Spell created |