Merge branch 'main' of git.sr.ht:~rbdr/dotfiles

[rbdr/dotfiles] / config / nvim / lazy-lock.json

diff --git a/config/nvim/lazy-lock.json b/config/nvim/lazy-lock.json
index ee889af47e7435ca6984e24ffde2edb369c20a1f..f88cdf48d7d4768db47c2ecf2abf7468fad05415 100644 (file)
--- a/config/nvim/lazy-lock.json
+++ b/config/nvim/lazy-lock.json
@@ -1,5 +1,6 @@
 {
   "LargeFile": { "branch": "master", "commit": "3941a37b2b0288524300348a39521a46539bf9f6" },
+  "coq_nvim": { "branch": "coq", "commit": "792a5547052561d1089d523d68cad5859e9c78d9" },
   "fzf-lua": { "branch": "main", "commit": "2fca0f2ae6064aa106feef6b527a7dbefb825724" },
   "gemini.vim": { "branch": "master", "commit": "c9efb59c97b71c28d4678c79fd21fbdd3a69d196" },
   "lazy.nvim": { "branch": "main", "commit": "96584866b9c5e998cbae300594d0ccfd0c464627" },