anchor.diff:        owner = "daid";
         repo = "SeriousProton";
         rev = "EE-${version}";
  -      sha256 = "sha256-LiMEgsUpNBtduFO85ct6NYr/Smbzd8yE8Vce3voErLY=";
  +      sha256 = "sha256-/gwJPlvvOCv5XIsiVgZ8Eb/7vgwG/V+s/soGVCfYrwo=";
       };
   
       nativeBuildInputs = [ cmake ];
  
positive.code:     owner = "daid";
      repo = "EmptyEpsilon";
      rev = "EE-${version}";
      sha256 = "sha256-3QREWTq1Jq9T/FtGFVU4MidZeUQvRSVChn9JKxv2SiQ=";
    };
  
    nativeBuildInputs = [ cmake ];
  
negative.code: let
  
    major = "2020";
    minor = "11";
    patch = "23";
  
    version = "${major}.${minor}.${patch}";
  
  