anchor.diff:    };
   
     vimtex = buildVimPluginFrom2Nix { # created by nix#NixDerivation
  -    name = "vimtex-2016-01-03";
  +    name = "vimtex-2016-01-05";
       src = fetchgit {
         url = "git://github.com/lervag/vimtex";
  -      rev = "2de4129abd6b7e441d625403ff420734452ed112";
  -      sha256 = "0f7a69cd48c6cd6ff9981ec3e4e6bc678491d2b42cf80a274464c0cb762f3397";
  +      rev = "12481a9891c0a2cf04018afb555b8ca426988e89";
  +      sha256 = "50ddc6de684915d5470d668eb977827162fcdc8ee763c8b26705aa1e8d5dd8ec";
       };
       dependencies = [];
   
  
positive.code:   };
  
    idris-vim = buildVimPluginFrom2Nix { # created by nix#NixDerivation
      name = "idris-vim-2015-12-08";
      src = fetchgit {
        url = "git://github.com/idris-hackers/idris-vim";
        rev = "1f9bad6bc1d05b44e7555fe80472fbb7a542f47a";
        sha256 = "50cfb5a58a6c203c5f3695de61e9bc743e5dca71427e00c5cae86b4409debd3c";
      };
      dependencies = [];
  
  
negative.code:     name = "Syntastic-2016-01-04";
      src = fetchgit {
        url = "git://github.com/scrooloose/syntastic";
        rev = "189be0ae74372c13d5a87c72753a86e796812b58";
        sha256 = "dbca5a1fbc632922856d8e5468f5ed52edeaf1ae5a1c0f3ff3eb0f5dcf19af73";
      };
      dependencies = [];
  
  