dotty: use latest JDK
commit2ea18c6aee200bb3eb44fb0c38c65b655357ea88
authorOlli Helenius <liff@iki.fi>
dateSun 21 Nov 2021, 12:35 (5 years ago)
parenta9ff768
pkgs/top-level/all-packages.nix+1−1
@@ -11530,7 +11530,7 @@ with pkgs;
1153011530
1153111531 dictu = callPackage ../development/compilers/dictu { };
1153211532
11533− dotty = callPackage ../development/compilers/scala/dotty.nix { jre = jre8;};
11533+ dotty = callPackage ../development/compilers/scala/dotty.nix { };
1153411534
1153511535 ecl = callPackage ../development/compilers/ecl { };
1153611536 ecl_16_1_2 = callPackage ../development/compilers/ecl/16.1.2.nix { };