dotty: convert to alias

Follow-up on https://github.com/NixOS/nixpkgs/pull/171641
This commit is contained in:
Arnout Engelen 2023-08-20 18:45:17 +02:00
parent d680ded26d
commit 78d7f335a6
No known key found for this signature in database
GPG key ID: 061107B0F74A6DAA
2 changed files with 1 additions and 2 deletions

View file

@ -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

View file

@ -17242,8 +17242,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 {