anchor.diff:      owner = "daid";
       repo = "EmptyEpsilon";
       rev = "EE-${version}";
  -    sha256 = "082v27w3n4jdm4a5884607rwsw4s00cnpqmh7bsdg9q3l29jpygn";
  +    sha256 = "0v2xz1wlji6m6311r3vpkdil3a7l1w5nsz5yqd1l8bimy11rdr55";
     };
   
     nativeBuildInputs = [ cmake ];
  
positive.code: let
  
    major = "2019";
    minor = "01";
    patch = "19";
  
    version = "${major}.${minor}.${patch}";
  
  
negative.code:       owner = "daid";
        repo = "SeriousProton";
        rev = "EE-${version}";
        sha256 = "0q6in9rfs3b3qrfj2j6aj64z110k1yall4iqpp68rpp9r1dsh26p";
      };
  
      nativeBuildInputs = [ cmake ];
  