From 30dd7ae176a3a1e7066b89a77de97ab2a9ce2c68 Mon Sep 17 00:00:00 2001 From: Andrew W Elble Date: Mon, 3 Feb 2020 08:58:34 -0500 Subject: [PATCH] clingo: new versions (#14728) 5.3.0 and 5.4.0 --- var/spack/repos/builtin/packages/clingo/package.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/var/spack/repos/builtin/packages/clingo/package.py b/var/spack/repos/builtin/packages/clingo/package.py index bb1b2f6af26..8f1b64af60b 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'))