> lean.nvim build failed error when opening NeoVim , using Lazy

When opening nvim, the lazy plugin manager opens (I think on install mode, because it is highlighted compared to the others - Update, Sync, ...) and I get this error message:

```
Home (H) Install (I) Update (U) Sync (S) Clean (X)
Check (C) Log (L) Restore (R) Profile (P) Debug (D)
Help (?)

Total: 7 plugins

Failed (1)
● lean.nvim 41.09ms  start
Failed to spawn process luarocks {
args = { "--tree", "/home/michael/.local/share/nvim/lazy-rocks/lean.nvim", "
cwd = "/home/michael/.local/share/nvim/lazy/lean.nvim",
env = {
PATH = "/home/michael/.local/share/nvim/lazy-rocks/hererocks/bin:/home/mic
},
on_line = ,
timeout = 120000
}
Failed installing lean.nvim with `luarocks`.

------------------------------------------------------------------------------

Trying to build from source.
Failed to spawn process luarocks {
args = { "--tree", "/home/michael/.local/share/nvim/lazy-rocks/lean.nvim", "
cwd = "/home/michael/.local/share/nvim/lazy/lean.nvim",
env = {
PATH = "/home/michael/.local/share/nvim/lazy-rocks/hererocks/bin:/home/mic
},
on_line = ,
timeout = 120000
}

Loaded (5)
● kanagawa.nvim 5.87ms  start
● lazy.nvim 169.21ms  init.lua
● nvim-lspconfig 6.34ms  lean.nvim
● plenary.nvim 0.37ms  lean.nvim
● telescope.nvim 0.84ms 󰢱 telescope  lean.nvim

Not Loaded (1)
○ hererocks
```

I can still use lean in nvim without any problem, but I just wanted to make sure that this is a known issue that will be fixed in the future and not a more serious problem, I should have to do something about.