{ buildDhallGitHubPackage }:

buildDhallGitHubPackage {
  name      = "Prelude";
  owner     = "dhall-lang";
  repo      = "dhall-lang";
  directory = "Prelude";
  file      = "package.dhall";
  rev       = "v20.1.0";
  sha256    = "04r1w7wqydmwm9mh3lz4y96a87k5kkvzsmrhbdrf0izcy5bqqv5y";
}
