The Debian NEW review of metacoq 1.4-9.1-1 has been completed. Decision: REJECTED Reviewer: Mechtilde Stehmann
Review comment: hello, Please list utils/theories/MR_ExtrOCamlInt63.v utils/theories/MR_ExtrOCamlNatInt.v with LGPL-2.1 too Please check whether this is a viral effect. So the whole project is under LGPL? Comment it in d/copyright why it is a viral effect or not. Full review details: https://dfsg-new-queue.debian.org/reviews/metacoq
