diff options
| author | miheer vaidya <v.miheer@gmail.com> | 2024-01-05 17:16:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-05 16:16:31 -0800 |
| commit | 2b1fe995e74fb029a406c6207116bd7305787363 (patch) | |
| tree | a7db99be79777ef7475c781852314c8ba30a7c66 /var | |
| parent | e253734bc88de04dbc51012881d17e91250a1656 (diff) | |
| download | spack-2b1fe995e74fb029a406c6207116bd7305787363.tar.gz spack-2b1fe995e74fb029a406c6207116bd7305787363.tar.bz2 spack-2b1fe995e74fb029a406c6207116bd7305787363.tar.xz spack-2b1fe995e74fb029a406c6207116bd7305787363.zip | |
z3: add v4.12.4 (#41941)
* z3: update, update maintainer
* Update var/spack/repos/builtin/packages/z3/package.py
Co-authored-by: Alec Scott <alec@bcs.sh>
---------
Co-authored-by: Alec Scott <alec@bcs.sh>
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/z3/package.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py index e5aca4f12a..e386e050c8 100644 --- a/var/spack/repos/builtin/packages/z3/package.py +++ b/var/spack/repos/builtin/packages/z3/package.py @@ -14,8 +14,11 @@ class Z3(CMakePackage): homepage = "https://github.com/Z3Prover/z3/wiki" url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz" + maintainers("vmiheer") + license("MIT") + version("4.12.4", sha256="25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e") version("4.11.2", sha256="e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e") version("4.8.16", sha256="75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6") version("4.8.15", sha256="2abe7f5ecb7c8023b712ffba959c55b4515f4978522a6882391de289310795ac") |