summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 edc7ac6d66d..282b15a2329 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -106,7 +106,7 @@ between aspif and smodels format or to a human-readable text format.")
106(define-public clasp 106(define-public clasp
107 (package 107 (package
108 (name "clasp") 108 (name "clasp")
109 (version "3.3.10") 109 (version "3.4.0")
110 (source (origin 110 (source (origin
111 (method git-fetch) 111 (method git-fetch)
112 (uri (git-reference 112 (uri (git-reference
@@ -116,7 +116,7 @@ between aspif and smodels format or to a human-readable text format.")
116 (patches (search-patches "clasp-hide-event-ids.patch")) 116 (patches (search-patches "clasp-hide-event-ids.patch"))
117 (sha256 117 (sha256
118 (base32 118 (base32
119 "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) 119 "0sid9wks19h5slrpkm8qw0gsxlyq1g2vf4aznqapr777rws9d9b6"))))
120 (build-system cmake-build-system) 120 (build-system cmake-build-system)
121 (arguments 121 (arguments
122 `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" 122 `(#:configure-flags '("-DCLASP_BUILD_TESTS=on"