diff options
Diffstat (limited to 'third_party/ormolu')
-rw-r--r-- | third_party/ormolu/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/third_party/ormolu/default.nix b/third_party/ormolu/default.nix index eed5c7981e43..3175e25ff138 100644 --- a/third_party/ormolu/default.nix +++ b/third_party/ormolu/default.nix @@ -1,8 +1,8 @@ { pkgs, ... }: -import (pkgs.third_party.fetchFromGitHub { +import (pkgs.fetchFromGitHub { owner = "tweag"; repo = "ormolu"; rev = "a7076c0f83e5c06ea9067b71171859fa2ba8afd9"; sha256 = "1p4n2ja4ciw3qfskn65ggpy37mvgf2sslxqmqn8s8jjarnqcyfny"; -}) { pkgs = pkgs.third_party; } +}) { inherit pkgs; } |