Update jetbrains.mps 2020.2 -> 2020.2.1

This commit is contained in:
kolaente 2020-09-07 15:26:58 +02:00
parent 1281a5748c
commit 1ae3cac8fc
No known key found for this signature in database
GPG Key ID: F40E70337AB24C9B

View File

@ -333,12 +333,12 @@ in
mps = buildMps rec {
name = "mps-${version}";
version = "2020.1.3"; /* updated by script */
version = "2020.1.4"; /* updated by script */
description = "Create your own domain-specific language";
license = stdenv.lib.licenses.unfree;
src = fetchurl {
url = "https://download.jetbrains.com/mps/2020.1/MPS-${version}.tar.gz";
sha256 = "1ncvq834vn47pmh3q875hgqi4m7h3inljp89w3jwwhjn3g985ysz"; /* updated by script */
sha256 = "1j5n100fl8yvfla2slm95wv499azwzzxigp1kdcaj8xbc0a0mp7c"; /* updated by script */
};
wmClass = "jetbrains-mps";
update-channel = "MPS RELEASE";