pkgs/development/dhall-modules/Prelude.nix at devShellTools-shell · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

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

at devShellTools-shell 262 B view raw

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