Merge pull request #24902 from chris-martin/pr/idea-2017-1-1

jetbrains.idea-{community,ultimate}: 2017.1 -> 2017.1.1
This commit is contained in:
Benjamin Staffin 2017-04-14 19:04:02 -04:00 committed by GitHub
commit 4d4bd3d353

View file

@ -233,12 +233,12 @@ in
idea-community = buildIdea rec {
name = "idea-community-${version}";
version = "2017.1";
version = "2017.1.1";
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 = "0pfsf7ykwixvljcmrv4gldaaflf13brch70cd6xpax0m89vm22vm";
sha256 = "1222xkw7n424ihqxyjk352nnx9ka6as7ajwafgb2f27hfiz8d3li";
};
wmClass = "jetbrains-idea-ce";
};
@ -269,12 +269,12 @@ in
idea-ultimate = buildIdea rec {
name = "idea-ultimate-${version}";
version = "2017.1";
version = "2017.1.1";
description = "Integrated Development Environment (IDE) by Jetbrains, requires paid license";
license = stdenv.lib.licenses.unfree;
src = fetchurl {
url = "https://download.jetbrains.com/idea/ideaIU-${version}.tar.gz";
sha256 = "1858jhmyyb7nhx08yxbn5bfgx9m32r8yqwjxjw17rf8gnfvs8225";
sha256 = "18z9kv2nk8fgpns8r4ra39hs4d2v3knnwv9a996wrrbsfc9if8lp";
};
wmClass = "jetbrains-idea";
};