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