Reviews for metacoq
All reviews for this package from team members (across all versions).
| Reviewer | Version | Allocated | Started | Status | Completed | Comment | |
|---|---|---|---|---|---|---|---|
| mechtilde | 1.4-9.1-1 | 2 months, 13 days ago | 2 months, 13 days ago | rejected | 2 months, 13 days ago | 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. | View |