anchor.diff:  
     vim-surround = buildVimPluginFrom2Nix {
       pname = "vim-surround";
  -    version = "2022-04-22";
  +    version = "2022-10-25";
       src = fetchFromGitHub {
         owner = "tpope";
         repo = "vim-surround";
  -      rev = "bf3480dc9ae7bea34c78fbba4c65b4548b5b1fea";
  -      sha256 = "07wk87xiri44h5k3higiw9wfp516fflhq2xyrgm5hkxs3nnnx6la";
  +      rev = "3d188ed2113431cf8dac77be61b842acb64433d9";
  +      sha256 = "0lfnhwcgfxcg4n59xjxc29fhj08jhdv41l8zpx0fjkx796v3k48d";
       };
       meta.homepage = "https://github.com/tpope/vim-surround/";
     };
  
positive.code: 
    lazygit-nvim = buildVimPluginFrom2Nix {
      pname = "lazygit.nvim";
      version = "2022-06-14";
      src = fetchFromGitHub {
        owner = "kdheepak";
        repo = "lazygit.nvim";
        rev = "9c73fd69a4c1cb3b3fc35b741ac968e331642600";
        sha256 = "0mij8mrh7fmynhz7d3i11bbsvykf2pdp3ldk8w0sbi15cgfp8fr4";
      };
      meta.homepage = "https://github.com/kdheepak/lazygit.nvim/";
    };
  
    lean-nvim = buildVimPluginFrom2Nix {
      pname = "lean.nvim";
      version = "2022-10-16";
      src = fetchFromGitHub {
        owner = "Julian";
        repo = "lean.nvim";
        rev = "cecab4cf3e653e76fc97bab9c340b8e9bc834d40";
        sha256 = "028vffjdw37zz9822v0l5pwpmaj25fj9d5zff4hbr4hmshj6nm7j";
      };
      meta.homepage = "https://github.com/Julian/lean.nvim/";
    };
  
negative.code: 
    coq-artifacts = buildVimPluginFrom2Nix {
      pname = "coq.artifacts";
      version = "2022-10-26";
      src = fetchFromGitHub {
        owner = "ms-jpq";
        repo = "coq.artifacts";
        rev = "c136668e5023fb355c3824c7dc13147b8513d5e3";
        sha256 = "01mcr9xwc4jbd79dbq5awyf89nd35mw1x1kdn97z3i1gaayw6h1j";
      };
      meta.homepage = "https://github.com/ms-jpq/coq.artifacts/";
    };
  
    coq-thirdparty = buildVimPluginFrom2Nix {
      pname = "coq.thirdparty";
      version = "2022-10-26";
      src = fetchFromGitHub {
        owner = "ms-jpq";
        repo = "coq.thirdparty";
        rev = "7b6fc77e8c1018581daae15b247c4c640e69f50d";
        sha256 = "14mdn9g4004lpc8zxq5as7wxlbzpbn9yyzlrzyqag6gghpf7q8sc";
      };
      meta.homepage = "https://github.com/ms-jpq/coq.thirdparty/";
    };
  