anchor.diff:  
     lean-nvim = buildVimPluginFrom2Nix {
       pname = "lean.nvim";
  -    version = "2022-07-07";
  +    version = "2022-07-21";
       src = fetchFromGitHub {
         owner = "Julian";
         repo = "lean.nvim";
  -      rev = "ffa77427c7f39d4263478f747d77a639d5f980d7";
  -      sha256 = "1sblifa4h56yf10skg92qjzwjrxw249qx3bvjkqmckfmq352fngw";
  +      rev = "60ac136bf74ddf39fb19a1b0cfd261dfced11b1d";
  +      sha256 = "03cpyqgzalbvx10w1d23fq8sddd7sagbnipnhbab4fh9223wnfgm";
       };
       meta.homepage = "https://github.com/Julian/lean.nvim/";
     };
  
positive.code: 
    coq_nvim = buildVimPluginFrom2Nix {
      pname = "coq_nvim";
      version = "2022-07-08";
      src = fetchFromGitHub {
        owner = "ms-jpq";
        repo = "coq_nvim";
        rev = "efa6824c951d0638ec6134a8686f47b7efeda951";
        sha256 = "0c28fdh9nr2n5ajpc9dhff69lq9fbz8xba919va6jws5r7nh04zg";
      };
      meta.homepage = "https://github.com/ms-jpq/coq_nvim/";
    };
  
negative.code: 
    mkdir-nvim = buildVimPluginFrom2Nix {
      pname = "mkdir.nvim";
      version = "2022-07-23";
      src = fetchFromGitHub {
        owner = "jghauser";
        repo = "mkdir.nvim";
        rev = "c55d1dee4f099528a1853b28bb28caa802eba217";
        sha256 = "0zpyvkbw7wfqdxfgidr7zfxqb5ldci4pflx50rsm1hbwai0ybv23";
      };
      meta.homepage = "https://github.com/jghauser/mkdir.nvim/";
    };
  