diff options
author | Vincent Ambo <tazjin@google.com> | 2019-12-09T03·18+0000 |
---|---|---|
committer | Vincent Ambo <tazjin@google.com> | 2019-12-09T03·18+0000 |
commit | 97be9c1411aca437daa9eb95474ee134e727a3d9 (patch) | |
tree | cbb41d206da53d107e4e398d5713b9f2827332ad /third_party/ormolu | |
parent | ff38ae6c5f64ceadb307eac95bbe63e7a55f80c6 (diff) |
fix(third_party): Shuffle code around to be compatible with readTree r/106
As per the previous commit these files were no longer being imported, which is now fixed by moving them into separate subfolders.
Diffstat (limited to 'third_party/ormolu')
-rw-r--r-- | third_party/ormolu/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/third_party/ormolu/default.nix b/third_party/ormolu/default.nix new file mode 100644 index 000000000000..eed5c7981e43 --- /dev/null +++ b/third_party/ormolu/default.nix @@ -0,0 +1,8 @@ +{ pkgs, ... }: + +import (pkgs.third_party.fetchFromGitHub { + owner = "tweag"; + repo = "ormolu"; + rev = "a7076c0f83e5c06ea9067b71171859fa2ba8afd9"; + sha256 = "1p4n2ja4ciw3qfskn65ggpy37mvgf2sslxqmqn8s8jjarnqcyfny"; +}) { pkgs = pkgs.third_party; } |