[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/07: gnu: z3: Update to 4.8.1.
From: |
Marius Bakke |
Subject: |
02/07: gnu: z3: Update to 4.8.1. |
Date: |
Mon, 19 Nov 2018 18:59:52 -0500 (EST) |
mbakke pushed a commit to branch master
in repository guix.
commit 4a4f3e771b74601b0696a25ef8d82dd1081caea9
Author: Marius Bakke <address@hidden>
Date: Sat Nov 17 21:20:27 2018 +0100
gnu: z3: Update to 4.8.1.
* gnu/packages/maths.scm (z3): Update to 4.8.1.
---
gnu/packages/maths.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 22451c3..cc4635b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3946,7 +3946,7 @@ as equations, scalars, vectors, and matrices.")
(define-public z3
(package
(name "z3")
- (version "4.5.0")
+ (version "4.8.1")
(home-page "https://github.com/Z3Prover/z3")
(source (origin
(method git-fetch)
@@ -3954,7 +3954,7 @@ as equations, scalars, vectors, and matrices.")
(commit (string-append "z3-" version))))
(sha256
(base32
- "0ssp190ksak93hiz61z90x6hy9hcw1ywp8b2dzmbhn6fbd4bnxzp"))))
+ "1vr57bwx40sd5riijyrhy70i2wnv9xrdihf6y5zdz56yq88rl48f"))))
(build-system cmake-build-system)
(arguments
`(#:configure-flags
- branch master updated (cc661cb -> 30f0fef), Marius Bakke, 2018/11/19
- 01/07: gnu: z3: Fetch source using git., Marius Bakke, 2018/11/19
- 02/07: gnu: z3: Update to 4.8.1.,
Marius Bakke <=
- 04/07: gnu: python-joblib: Update to 0.13.0., Marius Bakke, 2018/11/19
- 05/07: gnu: python-joblib: Update home page., Marius Bakke, 2018/11/19
- 03/07: gnu: python-natsort: Update to 5.4.1., Marius Bakke, 2018/11/19
- 06/07: gnu: fluidsynth: Update to 2.0.2., Marius Bakke, 2018/11/19
- 07/07: gnu: libwebp: Update to 1.0.1., Marius Bakke, 2018/11/19