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 | 3 months, 17 days ago | 3 months, 17 days ago | rejected | 3 months, 17 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 | 3 months, 10 days ago | 3 months, 10 days ago | accepted | 3 months, 10 days ago | View |