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