about summary refs log tree commit diff
path: root/third_party
diff options
context:
space:
mode:
Diffstat (limited to 'third_party')
-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; }