diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-04-02T21·04+0100 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-04-02T21·04+0100 |
| commit | a7342448bb76b11c48f609a20230cf64ec08e53e (patch) | |
| tree | d83bb12f3c3cdcb3b797e40d5f7f7385ddb95373 | |
| parent | f99fc009fce8a2d49af31792f72e6f9ef38d037d (diff) | |
chore(third_party): Remove ormolu r/610
| -rw-r--r-- | third_party/ormolu/default.nix | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/third_party/ormolu/default.nix b/third_party/ormolu/default.nix deleted file mode 100644 index 3175e25ff1..0000000000 --- a/third_party/ormolu/default.nix +++ /dev/null @@ -1,8 +0,0 @@ -{ pkgs, ... }: - -import (pkgs.fetchFromGitHub { - owner = "tweag"; - repo = "ormolu"; - rev = "a7076c0f83e5c06ea9067b71171859fa2ba8afd9"; - sha256 = "1p4n2ja4ciw3qfskn65ggpy37mvgf2sslxqmqn8s8jjarnqcyfny"; -}) { inherit pkgs; } |