j
k
j a
j l
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
Show replies by date
devel@lists.fedoraproject.org
Add to favorites Remove from favorites