eclipse-plugin-checkstyle: 8.5.1 -> 8.7.0

This commit is contained in:
Robert Helgesson 2018-01-14 20:45:43 +01:00
parent fb5f636cd8
commit dd798d13bd
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

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