summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2024-05-15 14:31:13 +0200
committerAndreas Enge <andreas@enge.fr>2024-05-15 14:35:07 +0200
commit6cdb6cc6ef3b6d810cb26d19e23da309d63d1eaf (patch)
tree48e923b807eb59d0924a7f7a8a302f48843de396 /gnu/packages/maths.scm
parent12d23e3ac9d1ba410f4c60c78b393dc963b483ca (diff)
gnu: gecode: Downgrade to 6.2.0-2.2d20e88.
This is a commit with which the dependent package minizinc builds successfully. * gnu/packages/maths.scm (gecode): Downgrade to 6.2.0-2.2d20e88. Change-Id: I0bdb0131374639b1664e6ec40374d51b6922094c
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm8
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index fac0c7693a..6f6b1c2eba 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -2704,9 +2704,9 @@ and quadratic objectives using the Simplex algorithm.")
(define-public gecode
;; The current release is not compatible with minizinc anymore.
- ;; Use the latest commit on the release/6.3.0 branch.
- (let ((commit "f7f0d7c273d6844698f01cec8229ebe0b66a016a")
- (revision "1"))
+ ;; Use a commit that has been tested with minizinc.
+ (let ((commit "2d20e88cae176584b6e09d909aca3eb72ae76829")
+ (revision "2"))
(package
(name "gecode")
(version (git-version "6.2.0" revision commit))
@@ -2718,7 +2718,7 @@ and quadratic objectives using the Simplex algorithm.")
(commit commit)))
(file-name (git-file-name name version))
(sha256
- (base32 "16gzwa64w90vifaflmii515rsrqclf2y7nziq621m4ad9cjgcixj"))
+ (base32 "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r"))
(modules '((guix build utils)))
(snippet '(begin
;; delete generated sources