Subject: Re: [bug#27882] [PATCH] gnu: Add knights.

From: Arun Isaac <[email-masked]>
Date: Mon, 31 Jul 2017 15:13:54 +0530

Thanks for the patch!

> +    (license license:gpl3)))

The license should be gpl3+. Also, there appear to be other bundled
dependencies in src/external and src/coercri under different licenses
(bsd, boost license, etc.). Could you check?