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@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/UOOMCI4OKFM46QRMIPTKQWWNW2WGA6L7/

Reply via email to