jetbrains.webstorm: 2018.2.3 -> 2018.2.5

(cherry picked from commit 30422aa7d0)
This commit is contained in:
Edward Tjörnhammar
2018-11-11 17:22:48 +01:00
committed by Jörg Thalheim
parent 1c16a9a551
commit 975fe6d830

View File

@@ -380,12 +380,12 @@ in
webstorm = buildWebStorm rec {
name = "webstorm-${version}";
version = "2018.2.3"; /* updated by script */
version = "2018.2.5"; /* updated by script */
description = "Professional IDE for Web and JavaScript development";
license = stdenv.lib.licenses.unfree;
src = fetchurl {
url = "https://download.jetbrains.com/webstorm/WebStorm-${version}.tar.gz";
sha256 = "0y3a1p047knc598aamxxdmcf5nr86wk60w6nk2bhcasxjyqaw6r4"; /* updated by script */
sha256 = "0d4l2bf87i6kv45qmbw55hvcrnxr6zxjcjicbkjs2k01lv7y605c"; /* updated by script */
};
wmClass = "jetbrains-webstorm";
update-channel = "WebStorm Release";