From 09144f173677ed33850e484cf46876d13bb37c9e Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Mon, 26 Nov 2018 16:50:46 +0100
Subject: [PATCH] tv disko: init at 16cd458

---
 tv/5pkgs/simple/disko.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tv/5pkgs/simple/disko.nix

diff --git a/tv/5pkgs/simple/disko.nix b/tv/5pkgs/simple/disko.nix
new file mode 100644
index 000000000..de8f1df22
--- /dev/null
+++ b/tv/5pkgs/simple/disko.nix
@@ -0,0 +1,13 @@
+{ fetchgit }:
+
+let
+  src = fetchgit {
+    url = https://cgit.krebsco.de/disko;
+    rev = "16cd458af06d3caf687eb7d80ca3df26b71fe28c";
+    sha256 = "16cd458af06d3caf687eb7d80ca3df26b71fe28c";
+  };
+in
+
+{
+  lib = import "${src}/lib";
+}