eclipse-plugin-checkstyle: 6.19.1 -> 7.2.0

This commit is contained in:
Robert Helgesson 2016-11-17 22:28:22 +01:00
parent 58a18d1676
commit c92aa1ba6d
No known key found for this signature in database
GPG Key ID: C3DB11069E65DC86

View File

@ -171,12 +171,12 @@ rec {
checkstyle = buildEclipseUpdateSite rec {
name = "checkstyle-${version}";
version = "6.19.1.201607051943";
version = "7.2.0.201611082205";
src = fetchzip {
stripRoot = false;
url = "mirror://sourceforge/project/eclipse-cs/Eclipse%20Checkstyle%20Plug-in/6.19.1/net.sf.eclipsecs-updatesite_${version}.zip";
sha256 = "03aah57g0cgxym95p1wcj2h69xy3r9c0vv7js3gpmw1hx8w9sjsf";
url = "mirror://sourceforge/project/eclipse-cs/Eclipse%20Checkstyle%20Plug-in/7.2.0/net.sf.eclipsecs-updatesite_${version}.zip";
sha256 = "1zngyrh5ckgli0xxm52vm6mzbbvrjslwqcymggfqjhzplpcgwqk1";
};
meta = with stdenv.lib; {