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