blob: 512c8f8bf5513d66aff4cc4c8de477dc7fce99e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{ buildDhallGitHubPackage }:
buildDhallGitHubPackage {
name = "Prelude-20.0.0";
owner = "dhall-lang";
repo = "dhall-lang";
directory = "Prelude";
file = "package.dhall";
rev = "v20.0.0";
sha256 = "1smk57xki1cj24xpp0s3gv85radl6ry76ybsjkqak8h13s79lwla";
}
|