stable

cadical-2.2.0-1.fc44, cryptominisat-5.13.0-4.fc44, & 3 more

FEDORA-2025-c61d456636 created by jjames 3 months ago for Fedora 44

See https://github.com/SRI-CSL/libpoly/releases/tag/v0.2.1 for changes in libpoly 0.2.1.

See https://github.com/arminbiere/cadical/blob/master/NEWS.md for changes in cadical 2.2.0.

The other 3 builds are simple rebuilds due to ABI changes in the libpoly and cadical updates.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2025-c61d456636

This update's test gating status has been changed to 'waiting'.

3 months ago

This update's test gating status has been changed to 'ignored'.

3 months ago

This update's test gating status has been changed to 'waiting'.

3 months ago

This update's test gating status has been changed to 'ignored'.

3 months ago

This update has been submitted for stable by bodhi

3 months ago

Please log in to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
3 months ago
in testing
3 months ago
in stable
3 months ago
approved
3 months ago
BZ#2318033 cadical-2.2.0 is available
0
0
BZ#2419350 libpoly-0.2.1 is available
0
0

Automated Test Results