Changes in cryptominisat 5.8.0:
The abc package was updated to the latest upstream commit in order to get improvements and enhancements. All other packages are simple rebuilds due to the abc and cryptominisat updates.
sudo dnf upgrade --advisory=FEDORA-2020-5c2d2a7b85Please login to add feedback.
| abc-1.01-28.git20201126.fc33 | ||
| cryptominisat-5.8.0-1.fc33 | ||
| cvc4-1.8-2.fc33 | ||
| stp-2.3.3-11.fc33 | ||
| yices-2.6.2-6.fc33 |
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'ignored'.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.