anchor.diff:      menhir
       menhirLib
       pprint
  -    sedlex-2_3
       ppxlib
       ppx_deriving
       ppx_deriving_yojson
  
positive.code: 
  stdenv.mkDerivation rec {
    pname = "fstar";
    version = "2021.09.11";
  
    src = fetchFromGitHub {
      owner = "FStarLang";
      repo = "FStar";
      rev = "v${version}";
      sha256 = "1aqk6fx77zcb7mcm78dk4l4zzd323qiv7yc7hvc38494yf6gk8a0";
    };
  
    nativeBuildInputs = [ makeWrapper installShellFiles ];
  
    buildInputs = [
      z3
    ] ++ (with ocamlPackages; [
      ocaml
      findlib
  
negative.code:     license = licenses.asl20;
      changelog = "https://github.com/FStarLang/FStar/raw/v${version}/CHANGES.md";
      platforms = with platforms; darwin ++ linux;
      maintainers = with maintainers; [ gebner pnmadelaine ];
    };
  }
  