depot/third_party/nixpkgs/pkgs/development/dhall-modules/Prelude.nix
Default email 78efc47b99 Project import generated by Copybara.
GitOrigin-RevId: 83cbad92d73216bb0d9187c56cce0b91f9121d5a
2020-12-07 07:45:13 +00:00

11 lines
297 B
Nix

{ buildDhallGitHubPackage }:
buildDhallGitHubPackage {
name = "Prelude-20.0.0";
owner = "dhall-lang";
repo = "dhall-lang";
directory = "Prelude";
file = "package.dhall";
rev = "v20.0.0";
sha256 = "1smk57xki1cj24xpp0s3gv85radl6ry76ybsjkqak8h13s79lwla";
}