eclipse-plugin-checkstyle: 7.2.0 -> 7.3.0

This commit is contained in:
Robert Helgesson 2017-01-09 22:58:31 +01:00
parent 5d2723945e
commit 5bf06ac710
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

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