eclipses: 4.8 -> 4.9

This bumps eclipse-platform, eclipse-sdk, and eclipse-plugin-jdt to
version 4.9.
This commit is contained in:
Robert Helgesson
2018-09-27 20:50:48 +02:00
parent 3c6c934097
commit b0ea289f4c
2 changed files with 35 additions and 5 deletions
@@ -470,12 +470,12 @@ rec {
jdt = buildEclipseUpdateSite rec {
name = "jdt-${version}";
version = "4.8";
version = "4.9";
src = fetchzip {
stripRoot = false;
url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.8-201806110500/org.eclipse.jdt-4.8.zip;
sha256 = "1my0d1114mx5gzxmwqlx0rcny39ly97ixlwx53ljk6qcryhdnr88";
url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.9-201809060745/org.eclipse.jdt-4.9.zip;
sha256 = "144rqrw0crxd2v862dqxm2p5y60n4pbzdryv709xnhcw54rycm7n";
};
meta = with stdenv.lib; {