bitwuzla_0.8.2-1_amd64.changes REJECTED

Mechtilde Stehmann mechtilde at debian.org
Sat Feb 21 19:00:29 GMT 2026


Hello Gábor,

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

Further information may be found at:
   https://dfsg-new-queue.debian.org/reviews/bitwuzla

Regards, Mechtilde Stehmann
Member of the DFSG, Licensing & New Packages Team



===

Please feel free to respond to this email if you don't understand why
your files were rejected, or if you upload new files which address our
concerns.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20260221/4071772e/attachment-0001.sig>


More information about the debian-science-maintainers mailing list