anchor.diff:    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; {
  
positive.code: { stdenv, fetchFromGitHub, z3, ocamlPackages, makeWrapper }:
  
  stdenv.mkDerivation rec {
    pname = "fstar";
  
negative.code:     sha256 = "0wix7l229afkn6c6sk4nwkfq0nznsiqdkds4ixi2yyf72immwmmb";
    };
  
    nativeBuildInputs = [ makeWrapper installShellFiles ];
  
    buildInputs = with ocamlPackages; [
      z3 ocaml findlib batteries menhir stdint
  