2020-11-12 09:05:59 +00:00
|
|
|
{ buildDhallGitHubPackage }:
|
|
|
|
|
|
|
|
|
|
buildDhallGitHubPackage {
|
2021-02-05 17:12:51 +00:00
|
|
|
name = "Prelude";
|
2020-11-12 09:05:59 +00:00
|
|
|
owner = "dhall-lang";
|
|
|
|
|
repo = "dhall-lang";
|
|
|
|
|
directory = "Prelude";
|
|
|
|
|
file = "package.dhall";
|
2021-02-05 17:12:51 +00:00
|
|
|
rev = "v20.1.0";
|
|
|
|
|
sha256 = "04r1w7wqydmwm9mh3lz4y96a87k5kkvzsmrhbdrf0izcy5bqqv5y";
|
2020-11-12 09:05:59 +00:00
|
|
|
}
|
