about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2020-04-02T21·04+0100
committerVincent Ambo <tazjin@google.com>2020-04-02T21·04+0100
commita7342448bb76b11c48f609a20230cf64ec08e53e (patch)
treed83bb12f3c3cdcb3b797e40d5f7f7385ddb95373
parentf99fc009fce8a2d49af31792f72e6f9ef38d037d (diff)
chore(third_party): Remove ormolu r/610
-rw-r--r--third_party/ormolu/default.nix8
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 3175e25ff138..000000000000
--- 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; }