{ buildDhallGitHubPackage }:

buildDhallGitHubPackage {
  name      = "Prelude-13.0.0";
  owner     = "dhall-lang";
  repo      = "dhall-lang";
  directory = "Prelude";
  file      = "package.dhall";
  rev       = "48db9e1ff1f8881fa4310085834fbc19e313ebf0";
  sha256    = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9";
}