anchor.diff:      owner = "daid";
       repo = "EmptyEpsilon";
       rev = "EE-${version}";
  -    sha256 = "1by0wrw00frrlcs1kd003zkmfkwa1pnbnva2qn8km3xnl9chf11d";
  +    sha256 = "0848rxa9xwbz573b5r5qc5bpcf6pipis4gkkszfgkj1zmdhyib6b";
     };
   
     nativeBuildInputs = [ cmake ];
  
positive.code: let
  
    major = "2018";
    minor = "02";
    patch = "15";
  
    version = "${major}.${minor}.${patch}";
  
  
negative.code:       owner = "daid";
        repo = "SeriousProton";
        rev = "EE-${version}";
        sha256 = "1a5g16vvjrykmdgy5fc8x0v4ipfm0qdaimmy5jz84am14dqi3f8w";
      };
  
      nativeBuildInputs = [ cmake ];
  