From fe7bbebd22c61add4592066900f3a4b77279621b Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Fri, 5 Feb 2021 13:06:54 +0100
Subject: pkgs/openlab: remove gitit
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

We originally needed it here to deploy it on the machine, but it’s set
up manually via the gitit repo default.nix for the time being.
---
 pkgs/openlab/gitit/default.nix | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 pkgs/openlab/gitit/default.nix

(limited to 'pkgs/openlab/gitit/default.nix')

diff --git a/pkgs/openlab/gitit/default.nix b/pkgs/openlab/gitit/default.nix
deleted file mode 100644
index dca2822a..00000000
--- a/pkgs/openlab/gitit/default.nix
+++ /dev/null
@@ -1,18 +0,0 @@
-{ hlib, haskellPackages, fetchFromGitHub }:
-
-let hp = haskellPackages.override {
-  overrides = (self: super: {
-    gitit = (hlib.overrideCabal super.gitit (drv: rec {
-      src = fetchFromGitHub {
-        owner = "openlab-aux";
-        repo = "gitit";
-        rev = "3da7c841f9382d0c62242a1b718511acec97e9f7";
-        sha256 = "0qhkbvm4ixav4nln3m9845w9m3gzfq5xh4nxp2c9qj4w9p79if7z";
-      };
-      broken = true;
-      platforms = [ "x86_64-linux" ];
-      hydraPlatforms = platforms;
-    }));
-  });
-};
-in hp.gitit
-- 
cgit 1.4.1