Message ID | 9d4badd9df6c5d64a9ada298d0ee59629a97ef4b.1715795372.git.herman@rimm.ee |
---|---|
State | New |
Headers | show |
Series | Update minizinc and solvers. | expand |
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 2aa7ccaa7a..a82e28e6a0 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4090,7 +4090,7 @@ (define-public metamath (define-public minizinc (package (name "minizinc") - (version "2.5.5") + (version "2.8.4") (source (origin (method git-fetch) (uri (git-reference @@ -4099,7 +4099,7 @@ (define-public minizinc (file-name (git-file-name name version)) (sha256 (base32 - "10b2hsl1fx9psh0iagmp8ki3f60f3qg5hmvra5aczjlfmbl88ggp")) + "03iliizyadd0wvx6a63rg22lb6p4m6krhlpfm2hfzwj66y3a76j6")) (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1)))