futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnu: chuffed: Update to 0.13.2.

Browse Source 
* gnu/packages/maths.scm (chuffed): Update to 0.13.2.
[source]<origin>: Add file-name field.

Change-Id: I466ba358e556ddab3134219493819ce521b59321
This commit is contained in:
Andreas Enge 2024-05-15 18:51:01 +02:00
parent 029f2e970d
commit bc6742e168
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gnu/packages/maths.scm
View File

@ -310,15 +310,16 @@ programmatic functions.")
(define-public chuffed
(package
(name "chuffed")
(version "0.13.1")
(version "0.13.2")
(source
(origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/chuffed/chuffed")
(commit version)))
(file-name (git-file-name name version))
(sha256
(base32 "1c28q166qh84q4i5wz77fqvw7kld3fmhd245sgdvyxcbjpi2wr0m"))))
(base32 "164brmwn71p9gb2441kh7b1gzmy2sg7bjv5z00wjs9nw41qc908g"))))
(build-system cmake-build-system)
(synopsis "Lazy clause generation solver")
(arguments