diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2019-07-01 17:37:56 -0700 |
|---|---|---|
| committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2019-07-05 23:27:53 +0200 |
| commit | 9e4a598c69d547047939583ce89e4b0246166231 (patch) | |
| tree | ed98bd7143d7d901b4e72ce5b0ac0fa29a92707f | |
| parent | 27dab9dc402bea2b53a6c6bec0fda9e5849216ac (diff) | |
| download | nixlib-9e4a598c69d547047939583ce89e4b0246166231.tar nixlib-9e4a598c69d547047939583ce89e4b0246166231.tar.gz nixlib-9e4a598c69d547047939583ce89e4b0246166231.tar.bz2 nixlib-9e4a598c69d547047939583ce89e4b0246166231.tar.lz nixlib-9e4a598c69d547047939583ce89e4b0246166231.tar.xz nixlib-9e4a598c69d547047939583ce89e4b0246166231.tar.zst nixlib-9e4a598c69d547047939583ce89e4b0246166231.zip | |
minizincide: 2.2.3 -> 2.3.0
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/minizinc-ide/versions
| -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 ab2af43979a6..48a29901ca35 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.2.3"; + version = "2.3.0"; in stdenv.mkDerivation { name = "minizinc-ide-${version}"; @@ -12,7 +12,7 @@ stdenv.mkDerivation { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; - sha256 = "1hanq7c6li59awlwghgvpd8w93a7zb6iw7p4062nphnbd1dmg92f"; + sha256 = "0458k7m97qxxylcl60qvp026kicfc4ilxwlb1p3jvjhi9384r00a"; }; sourceRoot = "source/MiniZincIDE"; |