anchor.diff:      owner = "daid";
       repo = "EmptyEpsilon";
       rev = "EE-${version}";
  -    sha256 = "0p41wx9yk09xjmfkjpdgi3b2999ps2am3xqwd866q11f6ci7viv5";
  +    sha256 = "sha256-3QREWTq1Jq9T/FtGFVU4MidZeUQvRSVChn9JKxv2SiQ=";
     };
   
     nativeBuildInputs = [ cmake ];
  
positive.code: 
    major = "2020";
    minor = "08";
    patch = "07";
  
    version = "${major}.${minor}.${patch}";
  
  
negative.code:       owner = "daid";
        repo = "SeriousProton";
        rev = "EE-${version}";
        sha256 = "sha256-LiMEgsUpNBtduFO85ct6NYr/Smbzd8yE8Vce3voErLY=";
      };
  
      nativeBuildInputs = [ cmake ];
  