blob: 36bfda403c8d9ba04d689b8bf49286242c419ee2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
{ buildDhallGitHubPackage }:
buildDhallGitHubPackage {
name = "Prelude-13.0.0";
owner = "dhall-lang";
repo = "dhall-lang";
directory = "Prelude";
file = "package.dhall";
rev = "48db9e1ff1f8881fa4310085834fbc19e313ebf0";
sha256 = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9";
}
|