The license of cvc4 has been corrected from GPv3+ to "Boost and BSD and MIT". Since that is a less restrictive license, it should cause no issues. -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/LV3YW72LGXWFK2CRUFKK2SPCNTVUQ6X7/
