diff options
| -rw-r--r-- | third_party/nixpkgs/default.nix | 1 | ||||
| -rw-r--r-- | third_party/overlays/dhall/OWNERS (renamed from third_party/dhall/OWNERS) | 0 | ||||
| -rw-r--r-- | third_party/overlays/dhall/default.nix (renamed from third_party/dhall/default.nix) | 4 |
3 files changed, 4 insertions, 1 deletions
diff --git a/third_party/nixpkgs/default.nix b/third_party/nixpkgs/default.nix index 74643cf70f..635082e27b 100644 --- a/third_party/nixpkgs/default.nix +++ b/third_party/nixpkgs/default.nix @@ -53,5 +53,6 @@ import nixpkgsSrc { depot.third_party.overlays.emacs depot.third_party.overlays.tvl depot.third_party.overlays.ecl-static + depot.third_party.overlays.dhall ] else [ ]); } diff --git a/third_party/dhall/OWNERS b/third_party/overlays/dhall/OWNERS index a742d0d22b..a742d0d22b 100644 --- a/third_party/dhall/OWNERS +++ b/third_party/overlays/dhall/OWNERS diff --git a/third_party/dhall/default.nix b/third_party/overlays/dhall/default.nix index b4de613125..74d2a999b9 100644 --- a/third_party/dhall/default.nix +++ b/third_party/overlays/dhall/default.nix @@ -1,4 +1,6 @@ -{ pkgs, ... }: +{ ... }: + +pkgs: _: let # binary releases of dhall tools, since the build in nixpkgs is |