diff options
| author | Erik Schnetter <schnetter@gmail.com> | 2022-04-27 20:10:15 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-27 17:10:15 -0700 |
| commit | 53e0e7aabe7f101766467b6f8a5d69932fb14116 (patch) | |
| tree | 30b41a00be4e199ddc392befd594f1876b400da7 | |
| parent | 27cbc4ebc8092f98d3b581bb3cfe07c5340021df (diff) | |
| download | spack-53e0e7aabe7f101766467b6f8a5d69932fb14116.tar.gz spack-53e0e7aabe7f101766467b6f8a5d69932fb14116.tar.bz2 spack-53e0e7aabe7f101766467b6f8a5d69932fb14116.tar.xz spack-53e0e7aabe7f101766467b6f8a5d69932fb14116.zip | |
z3: New version 4.8.16 (#30328)
| -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 14a69a276c..279dce647a 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(CMakePackage): homepage = "https://github.com/Z3Prover/z3/wiki" url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz" + version('4.8.16', sha256='75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6') + version('4.8.15', sha256='2abe7f5ecb7c8023b712ffba959c55b4515f4978522a6882391de289310795ac') version('4.8.14', sha256='96a1f49a7701120cc38bfa63c02ff93be4d64c7926cea41977dedec7d87a1364') version('4.8.9', sha256='c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4') version('4.8.8', sha256='6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff') |