anchor.diff:  let
   
     major = "2020";
  -  minor = "08";
  -  patch = "25";
  +  minor = "11";
  +  patch = "23";
   
     version = "${major}.${minor}.${patch}";
   
  
positive.code:       owner = "daid";
        repo = "SeriousProton";
        rev = "EE-${version}";
        sha256 = "sha256-LiMEgsUpNBtduFO85ct6NYr/Smbzd8yE8Vce3voErLY=";
      };
  
      nativeBuildInputs = [ cmake ];
  
negative.code:     owner = "daid";
      repo = "EmptyEpsilon";
      rev = "EE-${version}";
      sha256 = "sha256-HbF6xThR+ogNHbAcXF03DaBhwVhNEr5BJO7jeeVZH/o=";
    };
  
    nativeBuildInputs = [ cmake ];
  