diff options
| author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-10-27 16:56:25 +0200 |
|---|---|---|
| committer | Guillaume Maudoux <layus.on@gmail.com> | 2019-09-23 11:32:08 +0200 |
| commit | 841f3d031bae15d3819d25663304c89777496139 (patch) | |
| tree | f65a3579d971be76c23e702818fecb5578965825 /pkgs/top-level | |
| parent | fbfdaed2105a2ae32fe4ca2d1a5a68e7d78b2b8e (diff) | |
| download | nixlib-841f3d031bae15d3819d25663304c89777496139.tar nixlib-841f3d031bae15d3819d25663304c89777496139.tar.gz nixlib-841f3d031bae15d3819d25663304c89777496139.tar.bz2 nixlib-841f3d031bae15d3819d25663304c89777496139.tar.lz nixlib-841f3d031bae15d3819d25663304c89777496139.tar.xz nixlib-841f3d031bae15d3819d25663304c89777496139.tar.zst nixlib-841f3d031bae15d3819d25663304c89777496139.zip | |
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 6e4e3ba468e2..37a209beb430 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8238,8 +8238,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 { }; |