diff options
| author | Erik Schnetter <schnetter@gmail.com> | 2022-11-06 05:05:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-06 11:05:57 +0100 |
| commit | fffc4c4846eaa699bb87f681bac1af00149732e8 (patch) | |
| tree | 875c4580735f09a6005043f1ad8e04fd1d8a5dc3 | |
| parent | 27e1d28c0bcd68c57518923008106e53ee445476 (diff) | |
| download | spack-fffc4c4846eaa699bb87f681bac1af00149732e8.tar.gz spack-fffc4c4846eaa699bb87f681bac1af00149732e8.tar.bz2 spack-fffc4c4846eaa699bb87f681bac1af00149732e8.tar.xz spack-fffc4c4846eaa699bb87f681bac1af00149732e8.zip | |
z3: New version 4.11.2 (#33725)
| -rw-r--r-- | var/spack/repos/builtin/packages/z3/package.py | 1 |
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 7f8c1dcbb0..dfe3be3a9f 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.11.2", sha256="e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e") version("4.8.16", sha256="75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6") version("4.8.15", sha256="2abe7f5ecb7c8023b712ffba959c55b4515f4978522a6882391de289310795ac") version("4.8.14", sha256="96a1f49a7701120cc38bfa63c02ff93be4d64c7926cea41977dedec7d87a1364") |