diff options
author | Erik Schnetter <schnetter@gmail.com> | 2021-01-20 14:36:46 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-20 13:36:46 -0600 |
commit | d11ba901980bb50d6360448f12dd3f2fff86d8d3 (patch) | |
tree | 797c23fd6eb02c267eac7028c158fee252ae4b9d /var | |
parent | 95b974707ba40a44e9599dfc2eb36ae76f32eb97 (diff) | |
download | spack-d11ba901980bb50d6360448f12dd3f2fff86d8d3.tar.gz spack-d11ba901980bb50d6360448f12dd3f2fff86d8d3.tar.bz2 spack-d11ba901980bb50d6360448f12dd3f2fff86d8d3.tar.xz spack-d11ba901980bb50d6360448f12dd3f2fff86d8d3.zip |
z3: New version 4.8.9 (#21167)
Diffstat (limited to 'var')
-rw-r--r-- | var/spack/repos/builtin/packages/z3/package.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py index d5568ae731..18dd1838b4 100644 --- a/var/spack/repos/builtin/packages/z3/package.py +++ b/var/spack/repos/builtin/packages/z3/package.py @@ -14,6 +14,8 @@ class Z3(MakefilePackage): homepage = "https://github.com/Z3Prover/z3/wiki" url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz" + version('4.8.9', sha256='c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4') + version('4.8.8', sha256='6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff') version('4.8.7', sha256='8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3') version('4.5.0', sha256='aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c') version('4.4.1', sha256='50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce') |