From 73c6f1af64e63e5df4a0c20ff626d9253faa4677 Mon Sep 17 00:00:00 2001
From: Aleks-Daniel Jakimenko-Aleksejev <alex.jakimenko+github@gmail.com>
Date: Tue, 8 Nov 2016 11:18:41 +0200
Subject: [PATCH] Copied from issue #263

---
 Licenses.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 Licenses.md

diff --git a/Licenses.md b/Licenses.md
new file mode 100644
index 0000000..d7972db
--- /dev/null
+++ b/Licenses.md
@@ -0,0 +1,5 @@
+The bulk of Yosys is ISC. Some parts are public domain (``kernel/hashlib.h``, ``libs/sha1/``, ``libs/bigint/``). ``libs/minisat/`` is under MIT (which is permissive and compatible with ISC).
+
+ABC is a stand-alone binary with it's own set of licenses. At least in Debian ABC is its own package.
+
+No part of Yosys is GPLv2, GPLv3, or LGPLv2. Some of the test cases are (because they are copied from designs that are using those licenses), but this should have no effect on the license status of Yosys itself.