eclipse-plugin-checkstyle: 8.0.0 -> 8.5.1

This commit is contained in:
Robert Helgesson 2017-12-23 13:50:43 +01:00
parent bcfe03cc12
commit 35b2e4ccea
No known key found for this signature in database
GPG Key ID: C3DB11069E65DC86

@ -192,12 +192,12 @@ rec {
checkstyle = buildEclipseUpdateSite rec {
name = "checkstyle-${version}";
version = "8.0.0.201707161819";
version = "8.5.1.201712211522";
src = fetchzip {
stripRoot = false;
url = "mirror://sourceforge/project/eclipse-cs/Eclipse%20Checkstyle%20Plug-in/8.0.0/net.sf.eclipsecs-updatesite_${version}.zip";
sha256 = "1p07xcf71qc99sh73vqm9xxxgi819m58frv0cpvsn06y6ljr0aj2";
url = "mirror://sourceforge/project/eclipse-cs/Eclipse%20Checkstyle%20Plug-in/8.5.1/net.sf.eclipsecs-updatesite_${version}.zip";
sha256 = "0nid4a4qib9vx34ddry7sylj20p2d47dd0vn4zqqmj5dgqx1a1ab";
};
meta = with stdenv.lib; {