eclipse-plugin-jdt: 4.6.2 -> 4.7

This commit is contained in:
Robert Helgesson 2017-06-28 20:09:10 +02:00
parent 556a867186
commit fa6e946383
No known key found for this signature in database
GPG Key ID: C3DB11069E65DC86

View File

@ -364,12 +364,12 @@ rec {
jdt = buildEclipseUpdateSite rec { jdt = buildEclipseUpdateSite rec {
name = "jdt-${version}"; name = "jdt-${version}";
version = "4.6.2"; version = "4.7";
src = fetchzip { src = fetchzip {
stripRoot = false; stripRoot = false;
url = "https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.6.2-201611241400/org.eclipse.jdt-4.6.2.zip"; url = "https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7-201706120950/org.eclipse.jdt-4.7.zip";
sha256 = "1nnlrl05lh1hcsh14dlisnx0vwmj21agm4wia98rv0gl2gkp19n1"; sha256 = "0y17shnlh90gg9226lraknvdnp2i71ck91dnxbbzvxl8b64v8v1p";
}; };
meta = with stdenv.lib; { meta = with stdenv.lib; {