diff options
| author | Robert Scott <code@humanleg.org.uk> | 2021-03-23 19:22:30 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-23 19:22:30 +0000 |
| commit | d3f7e969b9860fb80750147aeb56dab1c730e756 (patch) | |
| tree | fd2ba18fb004cbcdea4c95bf82c8992f76fa7c8f /pkgs/development | |
| parent | 4d709f381abaefa1cc5616164b1b72178c2d1a69 (diff) | |
| parent | 971b497a470c1a1931c36fd6ac58c72a46bf85f0 (diff) | |
Merge pull request #117218 from r-ryantm/auto-update/minizinc
minizinc: 2.5.4 -> 2.5.5
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/tools/minizinc/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix index ad267e6bcdd84..c1e0a356df353 100644 --- a/pkgs/development/tools/minizinc/default.nix +++ b/pkgs/development/tools/minizinc/default.nix @@ -1,6 +1,6 @@ { lib, stdenv, fetchFromGitHub, cmake, flex, bison }: let - version = "2.5.4"; + version = "2.5.5"; in stdenv.mkDerivation { pname = "minizinc"; @@ -12,7 +12,7 @@ stdenv.mkDerivation { owner = "MiniZinc"; repo = "libminizinc"; rev = version; - sha256 = "sha256-/vJyh2WdESimJTCASsg6xjVzG2EkL4V87B+xvIUBcMM="; + sha256 = "sha256-9z2E6KqOys9UUXlXWB4eDhg34kS3PhUB1Dd1F6iGYoE="; }; meta = with lib; { |