Merge pull request #111737 from MazeChaZer/mps-license

jetbrains.mps: fix license
This commit is contained in:
Alexey Shmalko 2021-03-17 14:14:35 +02:00 committed by GitHub
commit 2115f2a226
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -337,7 +337,7 @@ in
name = "mps-${version}";
version = "2020.3.1"; /* updated by script */
description = "Create your own domain-specific language";
license = lib.licenses.unfree;
license = lib.licenses.asl20;
src = fetchurl {
url = "https://download.jetbrains.com/mps/2020.3/MPS-${version}.tar.gz";
sha256 = "0qvl724mm53rxfhafl6561rhpwppcadmwr9sh0hpsfgsprh2xznv"; /* updated by script */