idea.webstorm: 2017.1 -> 2017.1.3

This commit is contained in:
Gauthier POGAM--LE MONTAGNER 2017-05-20 16:53:20 +02:00
parent c66af84b3c
commit 282fba7f0c

@ -377,12 +377,12 @@ in
webstorm = buildWebStorm rec {
name = "webstorm-${version}";
version = "2017.1";
version = "2017.1.3";
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 = "e651ad78ff9de92bb5b76698eeca1e02ab0f0c36209908074fa4a6b48586071c";
sha256 = "0g4b0x910231ljdj18lnj2mlzmzyl12lv3fsbsz6v45i1kwpwnvc";
};
wmClass = "jetbrains-webstorm";
};