diff options
| -rw-r--r-- | pkgs/development/compilers/jdk/jdk7-linux.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/jdk/jdk7-linux.nix b/pkgs/development/compilers/jdk/jdk7-linux.nix index e6e8bda02d4f..6e1fec4d18ca 100644 --- a/pkgs/development/compilers/jdk/jdk7-linux.nix +++ b/pkgs/development/compilers/jdk/jdk7-linux.nix @@ -36,7 +36,7 @@ let in stdenv.mkDerivation rec { - patchversion = 51; + patchversion = "51"; name = if installjdk then "jdk-1.7.0_${patchversion}" else "jre-1.7.0_${patchversion}"; |