anchor.diff:        owner = "daid";
         repo = "SeriousProton";
         rev = "EE-${version}";
  -      sha256 = "1cq32jm3p40h5mipb64i9b1kcid27bpc8g6j4k0v69cfqkjpha5c";
  +      sha256 = "15dk2aij571sdrmpp3p0z1njb60lz0d95x0jgqdxz2q3wqnp5p61";
       };
   
       nativeBuildInputs = [ cmake ];
  
positive.code: let
  
    major = "2020";
    minor = "02";
    patch = "18";
  
    version = "${major}.${minor}.${patch}";
  
  
negative.code:     owner = "daid";
      repo = "EmptyEpsilon";
      rev = "EE-${version}";
      sha256 = "0idapy266mfrmi6dq3si5a8n12m1vvxr6ywbs0fs6sdkbabglc0c";
    };
  
    nativeBuildInputs = [ cmake ];
  