From 532fc40e94891c3b4f8b91c28f1a9f5f830f1691 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Wed, 18 Nov 2020 13:21:55 +0100 Subject: clingo: add `master` branch version (#19958) * updated @master to point to the master branch * also added a @spack that points to a fixed commit --- var/spack/repos/builtin/packages/clingo/package.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'var') diff --git a/var/spack/repos/builtin/packages/clingo/package.py b/var/spack/repos/builtin/packages/clingo/package.py index 238f6748ad..856f0d6338 100644 --- a/var/spack/repos/builtin/packages/clingo/package.py +++ b/var/spack/repos/builtin/packages/clingo/package.py @@ -22,7 +22,9 @@ class Clingo(CMakePackage): maintainers = ["tgamblin"] - version('develop', branch='wip', submodules=True) + version('master', branch='master', submodules=True) + version('spack', commit='2ab2e81bcb24f6070b7efce30a754d74ef52ee2d', submodules=True) + version('5.4.0', sha256='e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3') version('5.3.0', sha256='b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976') version('5.2.2', sha256='da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf') -- cgit v1.2.3-60-g2f50