diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-02-08 18:53:48 +0000 |
|---|---|---|
| committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-03-14 14:25:50 +0100 |
| commit | 21b8df10194469a1b73120458f346a7ddaba5496 (patch) | |
| tree | 9c073f6ca15954ef32d4e98b6793bf879bac4538 /pkgs/development/tools | |
| parent | 4e7d702bb92ee071e59631b34d1f7f0ca4e940c3 (diff) | |
| download | nixlib-21b8df10194469a1b73120458f346a7ddaba5496.tar nixlib-21b8df10194469a1b73120458f346a7ddaba5496.tar.gz nixlib-21b8df10194469a1b73120458f346a7ddaba5496.tar.bz2 nixlib-21b8df10194469a1b73120458f346a7ddaba5496.tar.lz nixlib-21b8df10194469a1b73120458f346a7ddaba5496.tar.xz nixlib-21b8df10194469a1b73120458f346a7ddaba5496.tar.zst nixlib-21b8df10194469a1b73120458f346a7ddaba5496.zip | |
minizincide: 2.3.2 -> 2.4.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 3b1ac92a96e7..921ee3d158c8 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.2"; + version = "2.4.2"; in stdenv.mkDerivation { pname = "minizinc-ide"; @@ -13,7 +13,7 @@ stdenv.mkDerivation { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; - sha256 = "0ym45fjfvxxrxp79sa5psrwg2p33l5h8qncx6agj9brml7d873c4"; + sha256 = "1xqs27f14r79vcxf9bx72bbnhxc913lpr5d8cv31dacbq5fyxkw7"; }; sourceRoot = "source/MiniZincIDE"; |