anchor.diff:  
     lean-vim = buildVimPluginFrom2Nix {
       pname = "lean-vim";
  -    version = "2020-10-10";
  +    version = "2020-11-01";
       src = fetchFromGitHub {
         owner = "leanprover";
         repo = "lean.vim";
  -      rev = "c3a99f34a92af8a86e162134276222309e01e896";
  -      sha256 = "09kz4iy0flwdawhd0phy6jl6zkxp3qdyhl8snl0n12sbskzq7i1b";
  +      rev = "d1b3037680be79f114a87620844117e20ca7efcf";
  +      sha256 = "0x3cz4is30jsrp7dym4rz4xngv9mimybl4kqnry9x0nkqzn55910";
       };
       meta.homepage = "https://github.com/leanprover/lean.vim/";
     };
  
positive.code: 
    coc-explorer = buildVimPluginFrom2Nix {
      pname = "coc-explorer";
      version = "2020-10-30";
      src = fetchFromGitHub {
        owner = "weirongxu";
        repo = "coc-explorer";
        rev = "a8a3cf41638e5b7b128086888e2dead665407beb";
        sha256 = "19a3blvfzqjzd5y3l4g03h3c8yxfl9fsdvc6mir0n76krpnk647l";
      };
      meta.homepage = "https://github.com/weirongxu/coc-explorer/";
    };
  
negative.code: 
    nvim-treesitter = buildVimPluginFrom2Nix {
      pname = "nvim-treesitter";
      version = "2020-10-31";
      src = fetchFromGitHub {
        owner = "nvim-treesitter";
        repo = "nvim-treesitter";
        rev = "9327b113c2360d503ab183718c57e3e1b0819887";
        sha256 = "1xgw0464563rc6wnjhf9m2f25wii80d78laa8ifjbjivrv4b0y1k";
      };
      meta.homepage = "https://github.com/nvim-treesitter/nvim-treesitter/";
    };
  