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