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.
pgpTLZFq351cn.pgp
Description: PGP signature
-- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
