From a7342448bb76b11c48f609a20230cf64ec08e53e Mon Sep 17 00:00:00 2001
From: Vincent Ambo <tazjin@google.com>
Date: Thu, 2 Apr 2020 22:04:39 +0100
Subject: chore(third_party): Remove ormolu

---
 third_party/ormolu/default.nix | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 third_party/ormolu/default.nix

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; }
-- 
cgit 1.4.1