me/guix
Archived
1
0
Fork 0
Code Activity

Revert "gnu: chuffed: Update to 0.13.2."

Browse source 
This reverts commit bc6742e168.

This makes it possible to apply the v3 patch series of issue #70087
and to properly credit its author.
This commit is contained in:
Andreas Enge 2024-05-15 20:52:17 +02:00
parent bc6742e168
commit dfdad66f5a
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/maths.scm
View file

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