Merge pull request #25886 from jdanekrh/jd_idea2017.1.3

idea-community: 2017.1.1 -> 2017.1.3
This commit is contained in:
Jörg Thalheim 2017-05-19 16:00:58 +01:00 committed by GitHub
commit 9f433595be

View File

@ -233,12 +233,12 @@ in
idea-community = buildIdea rec {
name = "idea-community-${version}";
version = "2017.1.1";
version = "2017.1.3";
description = "Integrated Development Environment (IDE) by Jetbrains, community edition";
license = stdenv.lib.licenses.asl20;
src = fetchurl {
url = "https://download.jetbrains.com/idea/ideaIC-${version}.tar.gz";
sha256 = "1222xkw7n424ihqxyjk352nnx9ka6as7ajwafgb2f27hfiz8d3li";
sha256 = "0ag70z4cark69hzhvx5j75qa8dglwzfaqrzi8pim3asd161fwxrx";
};
wmClass = "jetbrains-idea-ce";
};