diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2026-08-20 15:34:12 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2026-08-28 06:36:03 +0200 |
| commit | 2e997b82036a56e4ddd16ac2efdee3cab2f04cb4 (patch) | |
| tree | 2748a897ad37d18b00c4a6c97e425eebf9d00a9f | |
| parent | 459e58de492e6f243194ca5ca2f4e64e57dd3e22 (diff) | |
gnu: clasp: Update to 3.4.1.
* gnu/packages/potassco.scm (clasp): Update to 3.4.1.
| -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 27370f3e723..a8da4a28ad6 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.4.0") | 109 | (version "3.4.1") |
| 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 | "0sid9wks19h5slrpkm8qw0gsxlyq1g2vf4aznqapr777rws9d9b6")))) | 119 | "1pm75dqp3j5kb69wzpj4a435hx7ks34dcq9qf3cr90zxb1y2w7q9")))) |
| 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" |