Message ID | 04a6b1402fe44ed8c6475af624516f17050f554b.1715786322.git.herman@rimm.ee |
---|---|
State | New |
Headers | show |
Series | [bug#70087,v2,1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c. | expand |
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ec15af22c5..b9dfb9d6f8 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4040,7 +4040,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 @@ -4049,7 +4049,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)))