bartronx7/guix
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-01-25 20:15:25 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: clasp: Update to 3.4.0.

Browse source 
* gnu/packages/potassco.scm (clasp): Update to 3.4.0.
This commit is contained in:
Liliana Marie Prikler 2025-05-10 09:06:18 +02:00
parent f022a1cccd
commit 37c19dc231
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/potassco.scm
View file

@ -106,7 +106,7 @@ between aspif and smodels format or to a human-readable text format.")
(define-public clasp
(package
(name "clasp")
(version "3.3.10")
(version "3.4.0")
(source (origin
(method git-fetch)
(uri (git-reference
@ -116,7 +116,7 @@ between aspif and smodels format or to a human-readable text format.")
(patches (search-patches "clasp-hide-event-ids.patch"))
(sha256
(base32
"0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr"))))
"0sid9wks19h5slrpkm8qw0gsxlyq1g2vf4aznqapr777rws9d9b6"))))
(build-system cmake-build-system)
(arguments
`(#:configure-flags '("-DCLASP_BUILD_TESTS=on"