diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2020-01-11 05:32:41 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-11 05:32:41 -0500 |
| commit | 1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc (patch) | |
| tree | fb3e377286eebcc2527947f1d353b05f0e201221 /pkgs/development/tools | |
| parent | e5fc17c76a585b52d34555ebd06aabdb81ca635e (diff) | |
| parent | af55862c3f3ede4d5811a5e5ea2b2ec23c0f95e4 (diff) | |
| download | nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.tar nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.tar.gz nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.tar.bz2 nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.tar.lz nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.tar.xz nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.tar.zst nixpkgs-1dddd0d03b2f5d31f566908e6cd8dcb3fdcf82dc.zip | |
Merge pull request #75278 from r-ryantm/auto-update/minizinc-ide
minizincide: 2.3.1 -> 2.3.2
Diffstat (limited to 'pkgs/development/tools')
| -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 284ad4a5a67..3b1ac92a96e 100644 --- a/pkgs/development/tools/minizinc/ide.nix +++ b/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"; |