As soon as the kissat review is done (see my previous email about
review swaps), I intend to build cvc4 1.8 in Rawhide, which entails an
soname bump. As far as I can tell, there are no consumers of cvc4's
library interface in Fedora, so no other builds are necessary.
--
Jerry James
http://www.jamezone.org/