stable

cadical-1.9.4-1.fc39, cvc5-1.1.0-1.fc39, & 1 more

FEDORA-2024-356fb8422f created by jjames 3 months ago for Fedora 39

See https://github.com/arminbiere/cadical/blob/master/NEWS.md for changes in cadical versions 1.7.5 through 1.9.4.

See https://github.com/cvc5/cvc5/blob/main/NEWS.md for changes in cvc5 versions 1.0.9 and 1.1.0.

The yices build is a simple rebuild due to the cadical update.

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-2024-356fb8422f

This update has been submitted for testing by jjames.

3 months ago

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

3 months ago

This update has been pushed to testing.

3 months ago

This update has been submitted for stable by bodhi.

3 months ago

This update has been pushed to stable.

3 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
3 months ago
in testing
3 months ago
in stable
3 months ago
approved
3 months ago

Automated Test Results