24 Nov
2020
24 Nov
'20
8:07 a.m.
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/