summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2024-02-24 08:52:40 +0100
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2024-03-02 08:00:13 +0100
commit9aabeb11a0ce5d4af9a48f9f81229a956bcb7b48 (patch)
treed73f04546127076bffd0d322ae27d4042f6ad609 /gnu
parentba91a7ae604403a7e52eb088c9a7174ba7fe7265 (diff)
gnu: clasp: Update to 3.3.10.
* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/potassco.scm4
1 files 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"