Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
262 B · 11 lines
Nix
123456789101112{ buildDhallGitHubPackage }:
buildDhallGitHubPackage { name = "Prelude"; owner = "dhall-lang"; repo = "dhall-lang"; directory = "Prelude"; file = "package.dhall"; rev = "v20.1.0"; sha256 = "04r1w7wqydmwm9mh3lz4y96a87k5kkvzsmrhbdrf0izcy5bqqv5y";}