With cvc4 1.6 building in Rawhide right now, the last Fedora user of cryptominisat 4.x is gone. All Fedora consumers are now on cryptominisat 5.x, which is in the cryptominisat package. Consequently, I intend to retire the cryptominisat4 package soon. If somebody needs it, let me know and I will give it to you instead of retiring it. -- 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/BPUJVEIE5GB7EI6E7LL7FYHRE72KDTZP/
