structuredAttrs is enabled
Sourcing vim-gen-doc-hook
Sourcing vim-command-check-hook.sh
Using vimCommandCheckHook
Sourcing neovim-require-check-hook.sh
Using neovimRequireCheckHook
Running phase: unpackPhase
unpacking source archive /nix/store/91scbalm6la8b4qf9l7g48f3d34z6ifj-source
source root is source
Running phase: patchPhase
Running phase: updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
Running phase: buildPhase
Running phase: checkPhase
no Makefile or custom checkPhase, doing nothing
Running phase: installPhase
Running phase: fixupPhase
Executing vimPluginGenTags
Building help tags
Finished executing vimPluginGenTags
shrinking RPATHs of ELF executables and libraries in /nix/store/1sw6nbfa2hipgnab5893d5gwswzr7pnw-vimplugin-lazydev.nvim-1.10.0-unstable-2026-03-14
checking for references to /build/ in /nix/store/1sw6nbfa2hipgnab5893d5gwswzr7pnw-vimplugin-lazydev.nvim-1.10.0-unstable-2026-03-14...
patching script interpreter paths in /nix/store/1sw6nbfa2hipgnab5893d5gwswzr7pnw-vimplugin-lazydev.nvim-1.10.0-unstable-2026-03-14
Running phase: vimCommandCheckHook
Executing vimCommandCheckHook
Running phase: neovimRequireCheckHook
Executing neovimRequireCheckHook
nvimRequireCheck is empty; entering discovery mode
Running module discovery in output directory...
lua/lazydev/config.lua
lua/lazydev/init.lua
lua/lazydev/lsp.lua
lua/lazydev/buf.lua
lua/lazydev/pkg.lua
lua/lazydev/workspace.lua
lua/lazydev/integrations/cmp.lua
lua/lazydev/integrations/blink.lua
lua/lazydev/integrations/lspconfig.lua
lua/lazydev/integrations/init.lua
lua/lazydev/integrations/coq.lua
lua/lazydev/cmd.lua
lua/lazydev/util.lua
Discovered modules: lazydev.config lazydev lazydev.lsp lazydev.buf lazydev.pkg lazydev.workspace lazydev.integrations.cmp lazydev.integrations.blink lazydev.integrations.lspconfig lazydev.integrations.init lazydev.integrations.coq lazydev.cmd lazydev.util
Starting require checks
Attempting to require module: lazydev.config
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.config
Attempting to require module: lazydev
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev
Attempting to require module: lazydev.lsp
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.lsp
Attempting to require module: lazydev.buf
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.buf
Attempting to require module: lazydev.pkg
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.pkg
Attempting to require module: lazydev.workspace
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.workspace
Attempting to require module: lazydev.integrations.cmp
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.integrations.cmp
Attempting to require module: lazydev.integrations.blink
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.integrations.blink
Attempting to require module: lazydev.integrations.lspconfig
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.integrations.lspconfig
Attempting to require module: lazydev.integrations.init
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.integrations.init
Attempting to require module: lazydev.integrations.coq
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.integrations.coq
Attempting to require module: lazydev.cmd
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.cmd
Attempting to require module: lazydev.util
Entering Ex mode.  Type "visual" to go to Normal mode.
:Successfully required module: lazydev.util

======================================================
Require check succeeded for the following modules:
  - lazydev.config
  - lazydev
  - lazydev.lsp
  - lazydev.buf
  - lazydev.pkg
  - lazydev.workspace
  - lazydev.integrations.cmp
  - lazydev.integrations.blink
  - lazydev.integrations.lspconfig
  - lazydev.integrations.init
  - lazydev.integrations.coq
  - lazydev.cmd
  - lazydev.util
All lua modules were checked.
======================================================