diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-12-05 12:14:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-05 12:14:56 +0100 |
commit | a86a90f4a0a3f21ab7f533955b8f361b79ec2ec8 (patch) | |
tree | 28c35119fa3f324da1980ff0d09f72349436ff11 /pkgs/top-level | |
parent | 543070eafe8d5e86ebaa3095fd1e568db09b9b73 (diff) | |
parent | 71eee85daa5b6743d55a1a9f96a0f1064fa666f7 (diff) |
Merge pull request #200458 from wegank/rml-init
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 d8d21c8e8cba7..f66128c5d7b52 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -15074,6 +15074,8 @@ with pkgs; rgbds = callPackage ../development/compilers/rgbds { }; + rml = callPackage ../development/compilers/rml { }; + composable_kernel = callPackage ../development/libraries/composable_kernel { inherit (llvmPackages) openmp; }; |