HCoop
/
jackhill
/
guix
/
guix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fb525bf
)
gnu: z3: Update to 4.8.1.
author
Marius Bakke
<mbakke@fastmail.com>
Sat, 17 Nov 2018 20:20:27 +0000
(21:20 +0100)
committer
Marius Bakke
<mbakke@fastmail.com>
Mon, 19 Nov 2018 23:57:48 +0000
(
00:57
+0100)
* gnu/packages/maths.scm (z3): Update to 4.8.1.
gnu/packages/maths.scm
patch
|
blob
|
blame
|
history
diff --git
a/gnu/packages/maths.scm
b/gnu/packages/maths.scm
index
22451c3
..
cc4635b
100644
(file)
--- 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