anchor.diff:    makeFlags = [ "PREFIX=$(out)" ];
   
     buildFlags = [ "libs" ];
  +
  +  enableParallelBuilding = true;
   
     postPatch = ''
       patchShebangs ulib/gen_mllib.sh
  
positive.code:     license = licenses.asl20;
      changelog = "https://github.com/FStarLang/FStar/raw/v${version}/CHANGES.md";
      platforms = with platforms; darwin ++ linux;
      maintainers = with maintainers; [ gebner ];
    };
  }
  
negative.code:     menhir
      menhirLib
      pprint
      ppxlib
      ppx_deriving
      ppx_deriving_yojson
  