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

eclipse-plugin-jdt-codemining: init at 1.0.0.201806221018

Browse Source
This commit is contained in:
Robert Helgesson 2018-06-30 12:30:58 +02:00
parent b2b68862f5
commit cb96b8643c
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89
1 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/applications/editors/eclipse/plugins.nix
View File

@ -487,6 +487,29 @@ rec {
}; };
}; };
jdt-codemining = buildEclipsePlugin rec {
name = "jdt-codemining-${version}";
version = "1.0.0.201806221018";
srcFeature = fetchurl {
url = "http://oss.opensagres.fr/jdt-codemining/snapshot/features/jdt-codemining-feature_${version}.jar";
sha256 = "1vy30rsb9xifn4r1r2n84d48g6riadzli1xvhfs1mf5pkm5ljwl6";
};
srcPlugin = fetchurl {
url = "http://oss.opensagres.fr/jdt-codemining/snapshot/plugins/org.eclipse.jdt.codemining_${version}.jar";
sha256 = "0qdzlqcjcm2i4mwhmcdml0am83z1dayrcmf37ji7vmw6iwdk1xmp";
};
meta = with stdenv.lib; {
homepage = https://github.com/angelozerr/jdt-codemining;
description = "Provides JDT Java CodeMining";
license = licenses.epl10;
platforms = platforms.all;
maintainers = [ maintainers.rycee ];
};
};
rustdt = buildEclipseUpdateSite rec { rustdt = buildEclipseUpdateSite rec {
name = "rustdt-${version}"; name = "rustdt-${version}";
version = "0.6.2"; version = "0.6.2";