Matt McHenry 1e67ddbf60 eclipses: 2020-12 -> 2021-03 ... * remove the jdt plugin, as it's not longer packaged separately on the eclipse download site :-( https://www.eclipse.org/forums/index.php/t/1107570/ * add eclipse-jee as a second option for those who need jdt * remove eclipses.rust this build was present at: https://www.eclipse.org/downloads/packages/release/2020-12/r https://www.eclipse.org/downloads/packages/release/2021-03/m2 but is not present at: https://www.eclipse.org/downloads/packages/release/2021-03/m3 https://www.eclipse.org/downloads/packages/release/2021-03/rc1 https://www.eclipse.org/downloads/packages/release/2021-03/r https://projects.eclipse.org/projects/tools.corrosion seems to point users to install as a plugin rather than a top-level eclipse package.		2021-04-24 12:02:30 -04:00
..
build-eclipse.nix
default.nix
plugins.nix