nix/12.nixvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1
12.nixvim/plugins/by-name/coq-thirdparty
History
Gaetan Lepage 342a6b6c73 plugins/coq-thirdparty: migrate to mkNeovimPlugin
2025-10-24 11:31:11 +00:00
..
default.nix plugins/coq-thirdparty: migrate to mkNeovimPlugin 2025-10-24 11:31:11 +00:00