diff options
author | Aniruddha Marathe <aniruddhapmarathe@gmail.com> | 2020-04-08 20:13:13 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-08 22:13:13 -0500 |
commit | 9035dc6b3ded135b368feccc83624ceb28897734 (patch) | |
tree | 0f83129f7c8714468b87531983c15402f4b304ff /LICENSE-APACHE | |
parent | 8abffd4189e5756a8c9413b068fe1c4517fbc1f3 (diff) | |
download | spack-9035dc6b3ded135b368feccc83624ceb28897734.tar.gz spack-9035dc6b3ded135b368feccc83624ceb28897734.tar.bz2 spack-9035dc6b3ded135b368feccc83624ceb28897734.tar.xz spack-9035dc6b3ded135b368feccc83624ceb28897734.zip |
- Fixes build issues. (#15951)
- Updates Kripke URL to its Github repository.
- Adds previous Kripke versions.
- Adds 'caliper' variant.
Diffstat (limited to 'LICENSE-APACHE')
0 files changed, 0 insertions, 0 deletions