anchor.diff:      cd ${holsubdir}
   
       substituteInPlace tools/Holmake/Holmake_types.sml \
  -      --replace "\"/bin/mv\"" "\"mv\"" \
  -      --replace "\"/bin/cp\"" "\"cp\""
  +      --replace "\"/bin/" "\"" \
  +
   
       for f in tools/buildutils.sml help/src-sml/DOT;
       do
  
positive.code: 
    src = fetchurl {
      url = "mirror://sourceforge/hol/hol/${longVersion}/${holsubdir}.tar.gz";
      sha256 = "0x2wxksr305h1lrbklf6p42lp09rbhb4rsh74g0l70sgapyiac9b";
    };
  
    buildInputs = [polymlEnableShared graphviz fontconfig liberation_ttf];
  
negative.code: 
  let
    pname = "hol4";
    vnum = "14";
  in
  
  let
    version = "k.${vnum}";
    longVersion = "kananaskis-${vnum}";
    holsubdir = "hol-${longVersion}";
    kernelFlag = if experimentalKernel then "--expk" else "--stdknl";
  in
  
  let
  