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