Files
shed/pkgs/nixvim/config/plugins/coq.nix