Debian NEW review of bitwuzla 0.8.2-1: REJECTED

dfsg-team at debian.org dfsg-team at debian.org
Sat Feb 21 18:57:01 GMT 2026

Previous message (by thread): Bug#1044943: marked as done (gmsh: Fails to build source after successful build)
Next message (by thread): bitwuzla_0.8.2-1_amd64.changes REJECTED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The Debian NEW review of bitwuzla 0.8.2-1 has been completed.

Decision: REJECTED
Reviewer: Mechtilde Stehmann

Review comment:

Hello GÃ¡bor,

please list a separate license for debian/patches/*. Otherwise you relicensed the whole project under GPLv3+

Full review details: https://dfsg-new-queue.debian.org/reviews/bitwuzla

Previous message (by thread): Bug#1044943: marked as done (gmsh: Fails to build source after successful build)
Next message (by thread): bitwuzla_0.8.2-1_amd64.changes REJECTED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list