summaryrefslogtreecommitdiff
path: root/var
diff options
context:
space:
mode:
authorAndrew W Elble <aweits@rit.edu>2020-02-03 08:58:34 -0500
committerGitHub <noreply@github.com>2020-02-03 07:58:34 -0600
commit30dd7ae176a3a1e7066b89a77de97ab2a9ce2c68 (patch)
tree08be2e3c177882abf7b2ee69feef8291c004617b /var
parentdcaa50c9d0839b2ceb4606525e521c917adbba06 (diff)
downloadspack-30dd7ae176a3a1e7066b89a77de97ab2a9ce2c68.tar.gz
spack-30dd7ae176a3a1e7066b89a77de97ab2a9ce2c68.tar.bz2
spack-30dd7ae176a3a1e7066b89a77de97ab2a9ce2c68.tar.xz
spack-30dd7ae176a3a1e7066b89a77de97ab2a9ce2c68.zip
clingo: new versions (#14728)
5.3.0 and 5.4.0
Diffstat (limited to 'var')
-rw-r--r--var/spack/repos/builtin/packages/clingo/package.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/clingo/package.py b/var/spack/repos/builtin/packages/clingo/package.py
index bb1b2f6af2..8f1b64af60 100644
--- a/var/spack/repos/builtin/packages/clingo/package.py
+++ b/var/spack/repos/builtin/packages/clingo/package.py
@@ -19,6 +19,8 @@ class Clingo(CMakePackage):
homepage = "https://potassco.org/clingo/"
url = "https://github.com/potassco/clingo/archive/v5.2.2.tar.gz"
+ version('5.4.0', sha256='e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3')
+ version('5.3.0', sha256='b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976')
version('5.2.2', sha256='da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf')
depends_on('doxygen', type=('build'))