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 | 1 month, 18 days ago | 1 month, 18 days ago | rejected | 1 month, 18 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 | 1 month, 11 days ago | 1 month, 11 days ago | accepted | 1 month, 11 days ago | View |