diff options
Diffstat (limited to 'var/spack/repos/builtin/packages/kripke/package.py')
-rw-r--r-- | var/spack/repos/builtin/packages/kripke/package.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py index 36768b0ff2..f3a10a1fab 100644 --- a/var/spack/repos/builtin/packages/kripke/package.py +++ b/var/spack/repos/builtin/packages/kripke/package.py @@ -18,6 +18,8 @@ class Kripke(CMakePackage, CudaPackage, ROCmPackage): maintainers("vsrana01") + license("BSD-3-Clause") + version("develop", branch="develop", submodules=False) version( "1.2.4", submodules=False, tag="v1.2.4", commit="d85c6bc462f17a2382b11ba363059febc487f771" |