diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2019-08-04 16:19:03 -0700 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2019-08-04 16:19:03 -0700 |
| commit | 9f3dd81f86e7363999ef40496ae667fc62838b4b (patch) | |
| tree | daf67e8e7ba974eff0a02fa5c0bea91229425a7f /pkgs/development/tools/minizinc | |
| parent | 53328909da75752522c55f8d94c6553d740f9729 (diff) | |
| download | nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.tar nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.tar.gz nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.tar.bz2 nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.tar.lz nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.tar.xz nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.tar.zst nixpkgs-9f3dd81f86e7363999ef40496ae667fc62838b4b.zip | |
minizincide: 2.3.0 -> 2.3.1
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
Diffstat (limited to 'pkgs/development/tools/minizinc')
| -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 48a29901ca3..799623d34cc 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"; |