Commit b351ffa2 authored by Raphael Zimmermann's avatar Raphael Zimmermann
Browse files

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
parent e0c298ca

pkgs/applications/editors/eclipse/plugins.nix

+1 −18
Original line number Diff line number Diff line
@@ -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.";

}