{ lib, fetchFromGitHub, php }:

php.buildComposerProject (finalAttrs: {
  pname = "psalm";
  version = "5.9.0";

  src = fetchFromGitHub {
    owner = "vimeo";
    repo = "psalm";
    rev = finalAttrs.version;
    hash = "sha256-yoDJPBoRaKGd78sJoQj26T3+x2QxbHAbH/lnbTJcnIM=";
  };

  # TODO: Open a PR against https://github.com/sebastianbergmann/phpunit
  # Missing `composer.lock` from the repository.
  composerLock = ./composer.lock;
  vendorHash = "";
})