In about a week, I plan to update the cryptominisat package to version
5.11.15 in Rawhide, which comes with an soname bump. We have been
stuck on version 5.8.0 for a long time because some consuming packages
were not compatible with newer versions. At last all of them are
ready for the update.
I will soon build cryptominisat 5.8.0 in Rawhide. This version comes
with an soname bump. I maintain or comaintain all dependent packages
and will take care of rebuilding them:
- cvc4
- stp
- yices
--
Jerry James
http://www.jamezone.org/
___
devel
On Sat, Apr 25, 2020 at 5:39 PM Jerry James wrote:
> I'm building cryptominisat 5.7.0 in Rawhide. This involves an soname
> bump, so I am also rebuilding its dependencies: cvc4, stp, yices, and
> sagemath.
Except I can't rebuild sagemath because jmol and jsmol have been
retired. It will be
I'm building cryptominisat 5.7.0 in Rawhide. This involves an soname
bump, so I am also rebuilding its dependencies: cvc4, stp, yices, and
sagemath.
--
Jerry James
http://www.jamezone.org/
___
devel mailing list -- devel@lists.fedoraproject.org
To