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