about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
diff options
context:
space:
mode:
authorFelix Buehler <account@buehler.rocks>2021-07-17 19:56:23 +0200
committerFelix Buehler <account@buehler.rocks>2021-07-18 00:19:24 +0200
commit87316d778be9234ada273c0892ce9788bd23ab9f (patch)
tree58ab70c7d52e4bf2221679f7f3937000dabc5337 /pkgs/development/tools/minizinc
parenta314be4b4d6403df29c9fe3ed0cd92a39ffbcdb2 (diff)
various: cleanup of "inherit version;"
Diffstat (limited to 'pkgs/development/tools/minizinc')
-rw-r--r--pkgs/development/tools/minizinc/default.nix7
-rw-r--r--pkgs/development/tools/minizinc/ide.nix7
2 files changed, 4 insertions, 10 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix
index c1e0a356df353..06a6bd3dfd549 100644
--- a/pkgs/development/tools/minizinc/default.nix
+++ b/pkgs/development/tools/minizinc/default.nix
@@ -1,10 +1,7 @@
 { lib, stdenv, fetchFromGitHub, cmake, flex, bison }:
-let
-  version = "2.5.5";
-in
-stdenv.mkDerivation {
+stdenv.mkDerivation rec {
   pname = "minizinc";
-  inherit version;
+  version = "2.5.5";
 
   nativeBuildInputs = [ cmake flex bison ];
 
diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix
index a1ce9d0a69606..ef7dcb353215f 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 ];