pkgs/development/dhall-modules/Prelude.nix

   1 { buildDhallGitHubPackage }:
   2
   3 buildDhallGitHubPackage {
   4   name      = "Prelude";
   5   owner     = "dhall-lang";
   6   repo      = "dhall-lang";
   7   directory = "Prelude";
   8   file      = "package.dhall";
   9   rev       = "v20.1.0";
  10   sha256    = "04r1w7wqydmwm9mh3lz4y96a87k5kkvzsmrhbdrf0izcy5bqqv5y";
  11 }