{ buildDhallGitHubPackage }:

buildDhallGitHubPackage {
  name      = "Prelude-19.0.0";
  owner     = "dhall-lang";
  repo      = "dhall-lang";
  directory = "Prelude";
  file      = "package.dhall";
  rev       = "v19.0.0";
  sha256    = "04m29f5xlks6rarv1gy909j68bsflwl18l9bg7kyy1vpwap0avkp";
}