A new version of cvc4 is available. It depends on cryptominisat 5.x instead of 4.x. Since cvc4 was the last consumer of cryptominisat 4.x in Fedora, this means that we can finally retire the cryptominisat4 package. On the other hand, cvc4 1.6 has new dependencies. I get to add 4 packages in order to retire 1. Um ... yay? I need reviews for the following. Let me know what I can review for you in exchange: - drabt: https://bugzilla.redhat.com/show_bug.cgi?id=1599011 - cadical: https://bugzilla.redhat.com/show_bug.cgi?id=1599012, depends on drabt - lfsc: https://bugzilla.redhat.com/show_bug.cgi?id=1599013; see note below - symfpu: https://bugzilla.redhat.com/show_bug.cgi?id=1599014 We used to have an lfsc package in Fedora. Then cvc4 absorbed lfsc; the upstream lfsc repository disappeared, and the sources were shipped as part of cvc4. Now the cvc4 developers have decided to distribute lfsc separately again, so we need to revive the old lfsc package (with some substantial changes). Thank you, -- Jerry James http://www.jamezone.org/ _______________________________________________ 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/UOOMCI4OKFM46QRMIPTKQWWNW2WGA6L7/
