eclipse-plugin-spotbugs: 3.1.3 -> 3.1.5

This commit is contained in:
Robert Helgesson 2018-06-20 19:50:08 +02:00
parent 654960c1cd
commit b717ca8e45
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -532,11 +532,12 @@ rec {
spotbugs = buildEclipseUpdateSite rec { spotbugs = buildEclipseUpdateSite rec {
name = "spotbugs-${version}"; name = "spotbugs-${version}";
version = "3.1.3"; version = "3.1.5";
src = fetchzip { src = fetchzip {
stripRoot = false;
url = "https://github.com/spotbugs/spotbugs/releases/download/${version}/eclipsePlugin.zip"; url = "https://github.com/spotbugs/spotbugs/releases/download/${version}/eclipsePlugin.zip";
sha256 = "01zrmk497bxzqgwgbpsvi5iz5qk9b4q949h4918abm54zvkgndlg"; sha256 = "0fxdirz6ik9rqykm2lcr720apsaqgngr4c7q793rjb9b3bn30c85";
}; };
meta = with stdenv.lib; { meta = with stdenv.lib; {