Reviews for bitwuzla
All reviews for this package from team members (across all versions).
| Reviewer | Version | Allocated | Started | Status | Completed | Comment | |
|---|---|---|---|---|---|---|---|
| mechtilde | 0.8.2-1 | 5 months, 15 days ago | 5 months, 15 days ago | rejected | 5 months, 15 days ago | Hello Gábor, please list a separate license for debian/patches/*. Otherwise you relicensed the whole project under GPLv3+ | View |
| mechtilde | 0.8.2-1 | 5 months, 8 days ago | 5 months, 8 days ago | accepted | 5 months, 8 days ago | View |