From 9aabeb11a0ce5d4af9a48f9f81229a956bcb7b48 Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:52:40 +0100 Subject: [PATCH] gnu: clasp: Update to 3.3.10. * gnu/packages/potassco.scm (clasp): Update to 3.3.10. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 01cada7b77..05d5a3b754 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,7 +103,7 @@ between aspif and smodels format or to a human-readable text format.") (define-public clasp (package (name "clasp") - (version "3.3.9") + (version "3.3.10") (source (origin (method git-fetch) (uri (git-reference @@ -112,7 +112,7 @@ between aspif and smodels format or to a human-readable text format.") (file-name (git-file-name name version)) (sha256 (base32 - "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw")))) + "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on"