{ buildDhallGitHubPackage }:

buildDhallGitHubPackage {
  name      = "Prelude-20.0.0";
  owner     = "dhall-lang";
  repo      = "dhall-lang";
  directory = "Prelude";
  file      = "package.dhall";
  rev       = "v20.0.0";
  sha256    = "1smk57xki1cj24xpp0s3gv85radl6ry76ybsjkqak8h13s79lwla";
}