Jetbrains IDEA Community 2019.2.4 -> 2019.3

This commit is contained in:
kolaente 2019-12-02 18:46:47 +01:00
parent 2a3d2c18c6
commit 918ed06f29
No known key found for this signature in database
GPG key ID: F40E70337AB24C9B

View file

@ -289,12 +289,12 @@ in
idea-community = buildIdea rec { idea-community = buildIdea rec {
name = "idea-community-${version}"; name = "idea-community-${version}";
version = "2019.2.4"; /* updated by script */ version = "2019.3"; /* updated by script */
description = "Integrated Development Environment (IDE) by Jetbrains, community edition"; description = "Integrated Development Environment (IDE) by Jetbrains, community edition";
license = stdenv.lib.licenses.asl20; license = stdenv.lib.licenses.asl20;
src = fetchurl { src = fetchurl {
url = "https://download.jetbrains.com/idea/ideaIC-${version}.tar.gz"; url = "https://download.jetbrains.com/idea/ideaIC-${version}.tar.gz";
sha256 = "012vmclx6kg85gffgc9mr3fp1ffgx20dz7xvafk7c1iynawx8wgq"; /* updated by script */ sha256 = "0q2azmiwb4f2lan30w83qjdyka5hnw384nb3zv763ppvvw5b7sxj"; /* updated by script */
}; };
wmClass = "jetbrains-idea-ce"; wmClass = "jetbrains-idea-ce";
update-channel = "IntelliJ IDEA RELEASE"; update-channel = "IntelliJ IDEA RELEASE";