{
  haskellPackages,
  haskell,
  fetchFromGitea,
  installShellFiles,
}:
let
  inherit (haskell.lib.compose) justStaticExecutables overrideCabal;

  drv = haskellPackages.callCabal2nix "prop-solveur" (fetchFromGitea {
    domain = "git.confusedcompiler.org";
    owner = "leana8959";
    repo = "prop_solveur";
    rev = "cc2430dc5a396b01d02bd925070ce5d009d05bc4";
    hash = "sha256-jwNfRBytf/w0d2CWczXp+rVRXYNzptkuFE3OKSdOhLc=";
  }) { };

  cabalOverrides = o: {
    buildTools = o.buildTools or [ ] ++ [ installShellFiles ];
    postInstall = o.postInstall or "" + ''
      installShellCompletion --cmd prop-solveur \
          --bash <("$out/bin/prop-solveur" --bash-completion-script "$out/bin/prop-solveur") \
          --fish <("$out/bin/prop-solveur" --fish-completion-script "$out/bin/prop-solveur") \
          --zsh  <("$out/bin/prop-solveur" --zsh-completion-script  "$out/bin/prop-solveur")
    '';
  };
in
justStaticExecutables (overrideCabal cabalOverrides drv)