infra/libkookie/nixpkgs/pkgs/development/dhall-modules/Prelude.nix


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";
}