anchor.diff:      owner = "daid";
       repo = "EmptyEpsilon";
       rev = "EE-${version}";
  -    sha256 = "09jizc6h7jbsp8bzv05pvb5z24zadjzjx1slj5317axsb170v81p";
  +    sha256 = "0jklfap9jd9ynhvwzr9q4icvx5yb4sqm457vcar4jads4pwsd0xk";
     };
   
     nativeBuildInputs = [ cmake ];
  
positive.code:       owner = "daid";
        repo = "SeriousProton";
        rev = "EE-${version}";
        sha256 = "1sc1z9n99jspa8jnk0pwdzynnadvcmb3pxl5cndw3z90xjwpzivw";
      };
  
      nativeBuildInputs = [ cmake ];
  
negative.code: 
  let
  
    major = "2020";
    minor = "01";
    patch = "15";
  
    version = "${major}.${minor}.${patch}";
  
  