public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

eclipse: version updates

Browse Source 
- eclipse-platform: 4.7.1a -> 4.7.2
- eclipse-plugin-jdt: 4.7.1a -> 4.7.2
- eclipse-sdk: 4.7.1a -> 4.7.2
This commit is contained in:
Robert Helgesson
2017-12-20 23:24:41 +01:00
parent 53acbe8156
commit d30f5f8a2e
2 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/eclipse/plugins.nix
+3 -3
View File
@@ -362,12 +362,12 @@ rec {
jdt = buildEclipseUpdateSite rec {
name = "jdt-${version}";
version = "4.7.1a";
version = "4.7.2";
src = fetchzip {
stripRoot = false;
url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.1a-201710090410/org.eclipse.jdt-4.7.1a.zip;
sha256 = "1hpvpj8ghfk8aqbzfrpcxw3wxrczq6zd3bpx4sxjrsi926jsjaf4";
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";
};
meta = with stdenv.lib; {