parent
fb525bfd83
commit
4a4f3e771b
|
@ -3946,7 +3946,7 @@ as equations, scalars, vectors, and matrices.")
|
||||||
(define-public z3
|
(define-public z3
|
||||||
(package
|
(package
|
||||||
(name "z3")
|
(name "z3")
|
||||||
(version "4.5.0")
|
(version "4.8.1")
|
||||||
(home-page "https://github.com/Z3Prover/z3")
|
(home-page "https://github.com/Z3Prover/z3")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
|
@ -3954,7 +3954,7 @@ as equations, scalars, vectors, and matrices.")
|
||||||
(commit (string-append "z3-" version))))
|
(commit (string-append "z3-" version))))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"0ssp190ksak93hiz61z90x6hy9hcw1ywp8b2dzmbhn6fbd4bnxzp"))))
|
"1vr57bwx40sd5riijyrhy70i2wnv9xrdihf6y5zdz56yq88rl48f"))))
|
||||||
(build-system cmake-build-system)
|
(build-system cmake-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
`(#:configure-flags
|
`(#:configure-flags
|
||||||
|
|
Reference in New Issue