diff options
| author | Herman Rimm <herman@rimm.ee> | 2024-05-15 20:02:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-06-02 12:05:10 +0200 |
| commit | 0bd5e1bf9290894d2a56e217f3eed3ecc2c96103 (patch) | |
| tree | 1d146efe6588d170c079e3e94e8e8c6ac4e355f4 | |
| parent | 977bac689704eddfcb87dae8fec7e916ce711a03 (diff) | |
gnu: minizinc: Update to 2.8.4.
* gnu/packages/maths.scm (minizinc): Update to 2.8.4.
Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/maths.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 05634db0d8..10e7b53e74 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4091,7 +4091,7 @@ book.") (define-public minizinc (package (name "minizinc") - (version "2.5.5") + (version "2.8.4") (source (origin (method git-fetch) (uri (git-reference @@ -4100,7 +4100,7 @@ book.") (file-name (git-file-name name version)) (sha256 (base32 - "10b2hsl1fx9psh0iagmp8ki3f60f3qg5hmvra5aczjlfmbl88ggp")) + "03iliizyadd0wvx6a63rg22lb6p4m6krhlpfm2hfzwj66y3a76j6")) (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) |