anchor.diff:      sha256 = "0wix7l229afkn6c6sk4nwkfq0nznsiqdkds4ixi2yyf72immwmmb";
     };
   
  -  nativeBuildInputs = [ makeWrapper ];
  +  nativeBuildInputs = [ makeWrapper installShellFiles ];
   
     buildInputs = with ocamlPackages; [
       z3 ocaml findlib batteries menhir stdint
  
positive.code: { stdenv, fetchFromGitHub, z3, ocamlPackages, makeWrapper }:
  
  stdenv.mkDerivation rec {
    pname = "fstar";
  
negative.code:   installFlags = [ "-C" "src/ocaml-output" ];
    postInstall = ''
      wrapProgram $out/bin/fstar.exe --prefix PATH ":" "${z3}/bin"
      installShellCompletion --bash .completion/bash/fstar.exe.bash
      installShellCompletion --fish .completion/fish/fstar.exe.fish
      installShellCompletion --zsh --name _fstar.exe .completion/zsh/__fstar.exe
    '';
  
    meta = with stdenv.lib; {
  