diff options
| -rw-r--r-- | gnu/packages/potassco.scm | 4 |
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" |
