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