From 89523d2268c8ccfdc279ce5c1fecba1ce6d7bb66 Mon Sep 17 00:00:00 2001
From: Tobias Happ <tobias.happ@gmx.de>
Date: Fri, 4 Oct 2019 16:42:43 +0200
Subject: [PATCH] Add license header in default.nix

---
 default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.nix b/default.nix
index 5d231d5..81937c9 100644
--- a/default.nix
+++ b/default.nix
@@ -1,3 +1,6 @@
+# Licensed under GNU Lesser General Public License v3 or later, see COPYING.
+# Copyright (c) 2019 Alexander Sosedkin and other contributors, see AUTHORS.
+
 { pkgs ? import <nixpkgs> { } }:
 
 rec {