I will build cryptominisat 5.6.3 for Rawhide momentarily. With this version, the license changes from LGPLv2 to MIT. This version also carries an soname bump. I will rebuild the only dependent package in Fedora, namely stp.
--
_______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx/message/BQTHFUCTRQCFSZSG5LIXWPYCHCE3UAO6/
