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