diff options
author | Alyssa Ross <hi@alyssa.is> | 2020-01-14 23:59:31 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2020-01-14 23:59:31 +0000 |
commit | 388bd5ecef704d7aa423878e28cf46820ba42aaa (patch) | |
tree | f56964e1b059a3400259b2a6c9274f0bd58e5648 /nixpkgs/pkgs/development/tools/minizinc/ide.nix | |
parent | a5e4eba0a2066e541c1e81938655cbf62067804e (diff) | |
parent | 100012e55bc2a82fc680cba31a426ad38ead6fab (diff) | |
download | nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.tar nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.tar.gz nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.tar.bz2 nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.tar.lz nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.tar.xz nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.tar.zst nixlib-388bd5ecef704d7aa423878e28cf46820ba42aaa.zip |
Merge commit '100012e55bc2a82fc680cba31a426ad38ead6fab'
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 284ad4a5a670..3b1ac92a96e7 100644 --- a/nixpkgs/pkgs/development/tools/minizinc/ide.nix +++ b/nixpkgs/pkgs/development/tools/minizinc/ide.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, makeWrapper, minizinc }: let - version = "2.3.1"; + version = "2.3.2"; in stdenv.mkDerivation { pname = "minizinc-ide"; @@ -13,7 +13,7 @@ stdenv.mkDerivation { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; - sha256 = "0w9p5j2i7q4khmxyk2lr7a3qb2kd6ff1hfssxhgpm7zgzixm2300"; + sha256 = "0ym45fjfvxxrxp79sa5psrwg2p33l5h8qncx6agj9brml7d873c4"; }; sourceRoot = "source/MiniZincIDE"; |