Cannot find package "verilator"

[rubin55]

Checklist

• I have searched through the AstroNvim documentation
• I have searched through the existing issues of this project
• I have searched the existing issues of plugins related to this issue
• I can replicate the bug with the minimal repro.lua provided below

Neovim version (nvim -v)

0.10.1

Operating system/version

Arch Linux, kernel 6.10.9

Terminal/GUI

Alacritty

Describe the bug

Enabled astrocommunity.pack.verilog.

Getting: [ERROR Tue 10 Sep 2024 09:43:49 PM CEST] ...l/share/nvim/lazy/mason.nvim/lua/mason-registry/init.lua:79: Cannot find package "\"verilator\"". in mason.log

Steps to Reproduce

1. Enable astrocommunity.pack.verilog
2. Reload, open some file, observe Mason trying to install things
3. Take a look in :MasonLog
4. Observe above error

Expected behavior

Enabled verilog pack without installation errors.

Screenshots

No response

Additional Context

No response

Minimal configuration

No response

[ALameLlama]

Using this minimal config, I have it installing verilator on mason

-- save as repro.lua
-- run with nvim -u repro.lua
-- DO NOT change the paths
local root = vim.fn.fnamemodify("./.repro", ":p")

-- set stdpaths to use .repro
for _, name in ipairs({ "config", "data", "state", "runtime", "cache" }) do
  vim.env[("XDG_%s_HOME"):format(name:upper())] = root .. "/" .. name
end

-- bootstrap lazy
local lazypath = root .. "/plugins/lazy.nvim"
if not vim.loop.fs_stat(lazypath) then
  -- stylua: ignore
  vim.fn.system({ "git", "clone", "--filter=blob:none", "https://github.com/folke/lazy.nvim.git", "--branch=stable",
    lazypath })
end
vim.opt.rtp:prepend(vim.env.LAZY or lazypath)

-- install plugins
local plugins = {
  { "AstroNvim/AstroNvim",                 import = "astronvim.plugins" },
  { "AstroNvim/astrocommunity" },
  { import = "astrocommunity.pack.verilog" },

  -- add any other plugins/customizations here
}
require("lazy").setup(plugins, {
  root = root .. "/plugins",
})

-- add anything else here (autocommands, vim.filetype, etc.)

The pack in only 4 months old, you might need to update the astrocommunity plugin