dotty: use latest JDK
This commit is contained in:
@@ -11530,7 +11530,7 @@ with pkgs;
|
||||
|
||||
dictu = callPackage ../development/compilers/dictu { };
|
||||
|
||||
dotty = callPackage ../development/compilers/scala/dotty.nix { jre = jre8;};
|
||||
dotty = callPackage ../development/compilers/scala/dotty.nix { };
|
||||
|
||||
ecl = callPackage ../development/compilers/ecl { };
|
||||
ecl_16_1_2 = callPackage ../development/compilers/ecl/16.1.2.nix { };
|
||||
|
||||
Reference in New Issue
Block a user