diff options
Diffstat (limited to 'var/spack/repos/builtin/packages/z3/package.py')
-rw-r--r-- | var/spack/repos/builtin/packages/z3/package.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py index 1210098dd5..b558fa010f 100644 --- a/var/spack/repos/builtin/packages/z3/package.py +++ b/var/spack/repos/builtin/packages/z3/package.py @@ -14,9 +14,9 @@ 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.5.0', 'f332befa0d66d81818a06279a0973e25') - version('4.4.1', '4336a9df24f090e711c6d42fd4e2b1fc') - version('4.4.0', '2bcbb0381cc1572cace99aac8af08990') + version('4.5.0', sha256='aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c') + version('4.4.1', sha256='50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce') + version('4.4.0', sha256='65b72f9eb0af50949e504b47080fb3fc95f11c435633041d9a534473f3142cba') phases = ['bootstrap', 'build', 'install'] |