Unverified Commit ce239f30 authored by Naïm Favier's avatar Naïm Favier Committed by GitHub
Browse files

Merge pull request #250383 from raboof/dotty-alias 

dotty: convert to alias
parents ab7a4b8b 78d7f335

pkgs/top-level/aliases.nix

+1 −0
Original line number Diff line number Diff line
@@ -416,6 +416,7 @@ mapAliases ({ 
  dolphinEmu = dolphin-emu; # Added 2021-11-10

  dolphinEmuMaster = dolphin-emu-beta; # Added 2021-11-10

  dot-http = throw "'dot-http' has been removed: abandoned by upstream. Use hurl instead."; # Added 2023-01-16

  dotty = scala_3; # Added 2023-08-20

  dotnet-netcore = dotnet-runtime; # Added 2021-10-07

  double_conversion = throw "'double_conversion' has been renamed to/replaced by 'double-conversion'"; # Converted to throw 2022-02-22

  draftsight = throw "draftsight has been removed, no longer available as freeware"; # Added 2020-08-14

pkgs/top-level/all-packages.nix

+0 −2
Original line number Diff line number Diff line
@@ -17255,8 +17255,6 @@ with pkgs; 
  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"; };

  scala_3 = callPackage ../development/compilers/scala { };

  # deprecated

  dotty = scala_3;















  scala = scala_2_13;















  scala-runners = callPackage ../development/compilers/scala-runners {