diff options
author | Marek Mahut <marek.mahut@gmail.com> | 2019-08-07 17:03:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-07 17:03:38 +0200 |
commit | 795e31f11ee48fd6ffc6d23eda9db089de2e7516 (patch) | |
tree | f0646e36ce3c76a5ac0024152663779eafe8d042 | |
parent | d62e11739c88849e5b22272a7d605b6e5b2ff4ad (diff) | |
parent | 9f3dd81f86e7363999ef40496ae667fc62838b4b (diff) | |
download | nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.tar nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.tar.gz nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.tar.bz2 nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.tar.lz nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.tar.xz nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.tar.zst nixlib-795e31f11ee48fd6ffc6d23eda9db089de2e7516.zip |
Merge pull request #65994 from r-ryantm/auto-update/minizinc-ide
minizincide: 2.3.0 -> 2.3.1
-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 48a29901ca35..799623d34cc9 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.0"; + version = "2.3.1"; in stdenv.mkDerivation { name = "minizinc-ide-${version}"; @@ -12,7 +12,7 @@ stdenv.mkDerivation { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; - sha256 = "0458k7m97qxxylcl60qvp026kicfc4ilxwlb1p3jvjhi9384r00a"; + sha256 = "0w9p5j2i7q4khmxyk2lr7a3qb2kd6ff1hfssxhgpm7zgzixm2300"; }; sourceRoot = "source/MiniZincIDE"; |