diff options
| author | Robert Helgesson <robert@rycee.net> | 2018-05-14 23:39:19 +0200 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2018-05-15 18:52:58 +0200 |
| commit | d5dae23007b5a20759609f2a37b38ff9acec7afc (patch) | |
| tree | a29acbde18cd7df2b6d7ab4676488dbd58853492 /pkgs/applications/editors/eclipse | |
| parent | 726268db7770ea041e9133005d301ef7ae562200 (diff) | |
eclipse-plugin-jdt: 4.7.2 -> 4.7.3a
Diffstat (limited to 'pkgs/applications/editors/eclipse')
| -rw-r--r-- | pkgs/applications/editors/eclipse/plugins.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/editors/eclipse/plugins.nix b/pkgs/applications/editors/eclipse/plugins.nix index adb763c1250..f381064c92c 100644 --- a/pkgs/applications/editors/eclipse/plugins.nix +++ b/pkgs/applications/editors/eclipse/plugins.nix @@ -470,12 +470,12 @@ rec { jdt = buildEclipseUpdateSite rec { name = "jdt-${version}"; - version = "4.7.2"; + version = "4.7.3a"; src = fetchzip { stripRoot = false; - url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.2-201711300510/org.eclipse.jdt-4.7.2.zip; - sha256 = "1yzqnjs88cdyyqv8f1g8fbfyccci29f3pzxxvaz7szxicwzn59mz"; + url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.3a-201803300640/org.eclipse.jdt-4.7.3a.zip; + sha256 = "10dndhqz894xf79zz07dlmkn7k33mn42nbmycr78xz6d2jy8cscx"; }; meta = with stdenv.lib; { |