From b351ffa2e48953286b2bdd1d29fe5e8dcbe986a3 Mon Sep 17 00:00:00 2001 From: Raphael Zimmermann Date: Sun, 16 Nov 2025 13:28:15 +0100 Subject: [PATCH] eclipses.plugins: Remove scala plugin The Eclipse Scala IDE is officially deprecated, see https://github.com/scalacenter/advisoryboard/blob/e45b942356f8f59c8661a77bf227cd77985cd7e0/proposals/033-deprecate-scala-ide.md --- pkgs/applications/editors/eclipse/plugins.nix | 19 +------------------ 1 file changed, 1 insertion(+), 18 deletions(-) diff --git a/pkgs/applications/editors/eclipse/plugins.nix b/pkgs/applications/editors/eclipse/plugins.nix index a7ebf438ea1d..130484d1ad3f 100644 --- a/pkgs/applications/editors/eclipse/plugins.nix +++ b/pkgs/applications/editors/eclipse/plugins.nix @@ -589,24 +589,6 @@ rec { }; }; - scala = buildEclipseUpdateSite rec { - name = "scala-${version}"; - version = "4.4.1.201605041056"; - - src = fetchzip { - url = "http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/base-20160504-1321.zip"; - sha256 = "13xgx2rwlll0l4bs0g6gyvrx5gcc0125vzn501fdj0wv2fqxn5lw"; - }; - - meta = with lib; { - homepage = "http://scala-ide.org/"; - description = "Scala IDE for Eclipse"; - sourceProvenance = with sourceTypes; [ binaryBytecode ]; - license = licenses.bsd3; - platforms = platforms.all; - }; - }; - spotbugs = buildEclipseUpdateSite rec { name = "spotbugs-${version}"; version = "3.1.11"; @@ -719,4 +701,5 @@ rec { ivyderv = throw "eclipses.plugins.inyderv has been removed due to being archived upstream."; ivy = throw "eclipses.plugins.ivy has been removed due to being archived upstream."; ivyant = throw "eclipses.plugins.ivyant has been removed due to being archived upstream."; + scala = throw "eclipses.plugins.scala has been removed due to being deprecated upstream."; }