In a week, I plan to update cryptominisat in Rawhide to version
5.13.0, which comes with an soname bump. I will also rebuild cvc5 and
yices, the only two consumers of cryptominisat in Fedora.
--
Jerry James
http://www.jamezone.org/
--
___
devel mailing
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
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 ma
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 nece
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 unsub
