scala_2_13: use latest JDK

Java 17 and 18 are supported since 2.13.7:

    https://docs.scala-lang.org/overviews/jdk-compatibility/overview.html
This commit is contained in:
Olli Helenius
2021-11-21 12:36:34 +02:00
parent 7cc95a01de
commit a9ff768b99
+1 -1
View File
@@ -12969,7 +12969,7 @@ with pkgs;
scala_2_10 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.10"; jre = jdk8; };
scala_2_11 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.11"; jre = jdk8; };
scala_2_12 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.12"; };
scala_2_13 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.13"; jre = jdk8; };
scala_2_13 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.13"; };
scala = scala_2_13;
scala-runners = callPackage ../development/compilers/scala-runners {