diff options
Diffstat (limited to 'nixpkgs/pkgs/development/tools/minizinc/ide.nix')
-rw-r--r-- | nixpkgs/pkgs/development/tools/minizinc/ide.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/development/tools/minizinc/ide.nix b/nixpkgs/pkgs/development/tools/minizinc/ide.nix index 3be33656431f..8c2756f801ee 100644 --- a/nixpkgs/pkgs/development/tools/minizinc/ide.nix +++ b/nixpkgs/pkgs/development/tools/minizinc/ide.nix @@ -1,7 +1,7 @@ { lib, mkDerivation, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, minizinc }: mkDerivation rec { pname = "minizinc-ide"; - version = "2.5.3"; + version = "2.5.5"; nativeBuildInputs = [ qmake ]; buildInputs = [ qtbase qtwebengine qtwebkit ]; @@ -10,7 +10,7 @@ mkDerivation rec { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; - sha256 = "1c80ilb1xbgzfadgal668h2zsaiv62il1jnljizrisgb7pszzyzw"; + sha256 = "sha256-0U3KFRDam8psbCaEOcrwqzICAy1oBgo8SFEiR/PMqZk="; fetchSubmodules = true; }; |