diff options
| author | Joachim F <joachifm@users.noreply.github.com> | 2019-09-23 13:13:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-23 13:13:10 +0000 |
| commit | 5b387aa676c362345c0902c9da91f5bf86511f54 (patch) | |
| tree | 833815353d597c9f5a544f44568096149fb4e946 /pkgs/top-level | |
| parent | 5b5da3c2f2a6774837a5a999f18b69abf61f60a1 (diff) | |
| parent | 841f3d031bae15d3819d25663304c89777496139 (diff) | |
| download | nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.tar nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.tar.gz nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.tar.bz2 nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.tar.lz nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.tar.xz nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.tar.zst nixlib-5b387aa676c362345c0902c9da91f5bf86511f54.zip | |
Merge pull request #49272 from layus/add-mozart
mozart2: init at 2.0.1
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/aliases.nix | 2 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index a837336740b1..3d4a77100d42 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -218,6 +218,8 @@ mapAliases ({ mobile_broadband_provider_info = mobile-broadband-provider-info; # added 2018-02-25 module_init_tools = kmod; # added 2016-04-22 mono-zeroconf = throw "deprecated 2019-09-20: abandoned by upstream."; + mozart = mozart2-binary; # added 2019-09-23 + mozart-binary = mozart2-binary; # added 2019-09-23 mpich2 = mpich; # added 2018-08-06 msf = metasploit; # added 2018-04-25 libmsgpack = msgpack; # added 2018-08-17 diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index b5f2b7674d4b..023e2b334b15 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8242,8 +8242,9 @@ in mosml = callPackage ../development/compilers/mosml { }; - mozart-binary = callPackage ../development/compilers/mozart/binary.nix { }; - mozart = mozart-binary; + mozart2 = callPackage ../development/compilers/mozart { }; + + mozart2-binary = callPackage ../development/compilers/mozart/binary.nix { }; nim = callPackage ../development/compilers/nim { }; nrpl = callPackage ../development/tools/nrpl { }; |