diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-25 18:02:39 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-25 18:02:39 +0100 |
commit | 71eee85daa5b6743d55a1a9f96a0f1064fa666f7 (patch) | |
tree | 81f9f3a492d1c8ff58b4d0d45bd3c43bd8dd647a /pkgs/top-level | |
parent | 59acc59808dffdf2d7dbc3097b4d41036be26ad5 (diff) |
rml: init at 1.09.07
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index aa0c6b4c803af..bc27df262198f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -14928,6 +14928,8 @@ with pkgs; rgbds = callPackage ../development/compilers/rgbds { }; + rml = callPackage ../development/compilers/rml { }; + composable_kernel = callPackage ../development/libraries/composable_kernel { inherit (llvmPackages) openmp; }; |