diff options
author | kolaente <k@knt.li> | 2020-09-07 15:26:58 +0200 |
---|---|---|
committer | kolaente <k@knt.li> | 2020-09-07 15:26:58 +0200 |
commit | 1ae3cac8fc6fd743e4776306a2ea1c3c79af582f (patch) | |
tree | 538446e6f5a14341af42cff1453319e6176364da /pkgs/applications/editors/jetbrains | |
parent | 1281a5748cd1e0d6e2b7a3cc21348baa0f9d6d92 (diff) |
Update jetbrains.mps 2020.2 -> 2020.2.1
Diffstat (limited to 'pkgs/applications/editors/jetbrains')
-rw-r--r-- | pkgs/applications/editors/jetbrains/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/editors/jetbrains/default.nix b/pkgs/applications/editors/jetbrains/default.nix index ff4ce68f562d..43b3d0433b32 100644 --- a/pkgs/applications/editors/jetbrains/default.nix +++ b/pkgs/applications/editors/jetbrains/default.nix @@ -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"; |