diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-14 17:18:17 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-14 17:19:41 +0200 |
commit | 9c9c5865347e010560ad29b52e9c1caf91f84afe (patch) | |
tree | bb1d8c7db23510178d15c3fe25e22057024ae2ed /pkgs/development/arduino | |
parent | 1103392dd9bb49857a040f0e85966dbcc0e564ad (diff) |
Fixed several "package has no version" warnings
Diffstat (limited to 'pkgs/development/arduino')
-rw-r--r-- | pkgs/development/arduino/arduino-core/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/arduino/arduino-core/default.nix b/pkgs/development/arduino/arduino-core/default.nix index a751076537a..7a960dc931b 100644 --- a/pkgs/development/arduino/arduino-core/default.nix +++ b/pkgs/development/arduino/arduino-core/default.nix @@ -7,7 +7,7 @@ assert withGui -> gtk2 != null; stdenv.mkDerivation rec { version = "1.0.6"; - name = "arduino${stdenv.lib.optionalString (withGui == false) "-core"}"; + name = "arduino${stdenv.lib.optionalString (withGui == false) "-core"}-${version}"; src = fetchFromGitHub { owner = "arduino"; |