diff options
| author | t-karatsu <49965247+t-karatsu@users.noreply.github.com> | 2019-11-15 07:28:05 +0900 |
|---|---|---|
| committer | Adam J. Stewart <ajstewart426@gmail.com> | 2019-11-14 16:28:05 -0600 |
| commit | 94c9e5f9a0ea307f0922afb84ee6ca07103a7029 (patch) | |
| tree | cf5c558c9589637c8b18f56a02acfb48a84089f3 /bin | |
| parent | e670476024e0bbd990a55d4ac26545d4bff083c8 (diff) | |
| download | spack-94c9e5f9a0ea307f0922afb84ee6ca07103a7029.tar.gz spack-94c9e5f9a0ea307f0922afb84ee6ca07103a7029.tar.bz2 spack-94c9e5f9a0ea307f0922afb84ee6ca07103a7029.tar.xz spack-94c9e5f9a0ea307f0922afb84ee6ca07103a7029.zip | |
z3: bugfix about python dependency and fallthrough annotation. (#13713)
* z3:
* Fixed python dependency to always be required.
* bugfix about fallthrough annotation.
* z3: Add patch for before ver.4.4.1.
* Update var/spack/repos/builtin/packages/z3/package.py
Co-Authored-By: Adam J. Stewart <ajstewart426@gmail.com>
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions