diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-06-26 00:26:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-26 00:26:55 +0200 |
commit | 5d7603ab300830c3f373f93103a56f09640a9c06 (patch) | |
tree | f195ac9a6208be9b19512442c16756277bd2e406 /pkgs | |
parent | f2850832b561ad79fb5dda603a3a0f0a693f91ed (diff) | |
parent | bad4c65e90880a3df4ce722e52388170003fc6f4 (diff) |
Merge pull request #320581 from r-ryantm/auto-update/minizincide
minizincide: 2.8.4 -> 2.8.5
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/tools/minizinc/ide.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix index 00f028c117ca4..45fd8da44b5ed 100644 --- a/pkgs/development/tools/minizinc/ide.nix +++ b/pkgs/development/tools/minizinc/ide.nix @@ -5,13 +5,13 @@ let in stdenv.mkDerivation rec { pname = "minizinc-ide"; - version = "2.8.4"; + version = "2.8.5"; src = fetchFromGitHub { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; - hash = "sha256-ljOtY4k0uQwb8YPH14DspofjY7kMMBu4QJ7MABYfIpA="; + hash = "sha256-rE3Mq2lEcO5s4S8RMW7mQyp04gYwKW+e8cWnWqfVq9E="; fetchSubmodules = true; }; |