diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-18 06:02:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-18 06:02:58 +0000 |
| commit | 6ab169b9caa28c451badebd20235fade4f50ef1e (patch) | |
| tree | 7c44a8b59e222be78f702f62891519e8bf2281d5 /pkgs/development/tools/minizinc/ide.nix | |
| parent | 08a8809bfe1688df8419f41fd31c2f794c4debdf (diff) | |
| parent | f2eada4ab85be29a3a32282704b436e0fd26334a (diff) | |
| download | nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.tar nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.tar.gz nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.tar.bz2 nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.tar.lz nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.tar.xz nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.tar.zst nixpkgs-6ab169b9caa28c451badebd20235fade4f50ef1e.zip | |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development/tools/minizinc/ide.nix')
| -rw-r--r-- | pkgs/development/tools/minizinc/ide.nix | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix index a1ce9d0a696..ef7dcb35321 100644 --- a/pkgs/development/tools/minizinc/ide.nix +++ b/pkgs/development/tools/minizinc/ide.nix @@ -1,10 +1,7 @@ { lib, mkDerivation, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, minizinc }: -let - version = "2.5.3"; -in -mkDerivation { +mkDerivation rec { pname = "minizinc-ide"; - inherit version; + version = "2.5.3"; nativeBuildInputs = [ qmake ]; buildInputs = [ qtbase qtwebengine qtwebkit ]; |