summaryrefslogtreecommitdiff
path: root/var
diff options
context:
space:
mode:
authorErik Schnetter <schnetter@gmail.com>2022-01-10 08:31:52 -0500
committerGitHub <noreply@github.com>2022-01-10 14:31:52 +0100
commit464d294b63b38eaa78416a1e49910612e971fc70 (patch)
tree3e7095159d50587a275915a3a413943bbfda93b2 /var
parentb7f4a421e4028115ba437fab7080c30e41d1b0d1 (diff)
downloadspack-464d294b63b38eaa78416a1e49910612e971fc70.tar.gz
spack-464d294b63b38eaa78416a1e49910612e971fc70.tar.bz2
spack-464d294b63b38eaa78416a1e49910612e971fc70.tar.xz
spack-464d294b63b38eaa78416a1e49910612e971fc70.zip
z3: New version 4.8.14 (#28314)
Diffstat (limited to 'var')
-rw-r--r--var/spack/repos/builtin/packages/z3/package.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py
index 7995f9491f..c03f1e8e9d 100644
--- a/var/spack/repos/builtin/packages/z3/package.py
+++ b/var/spack/repos/builtin/packages/z3/package.py
@@ -14,6 +14,7 @@ class Z3(CMakePackage):
homepage = "https://github.com/Z3Prover/z3/wiki"
url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz"
+ version('4.8.14', sha256='96a1f49a7701120cc38bfa63c02ff93be4d64c7926cea41977dedec7d87a1364')
version('4.8.9', sha256='c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4')
version('4.8.8', sha256='6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff')
version('4.8.7', sha256='8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3')