stable

cadical-1.7.0-1.fc39, cvc5-1.0.5-2.fc39, & 5 more

FEDORA-2023-639fcc15bc created by jjames 5 months ago for Fedora 39

This update migrates Fedora from cvc4 to its successor, cvc5.

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 install --refresh --advisory=FEDORA-2023-639fcc15bc \*

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

5 months ago

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

5 months ago

This update has been submitted for stable by bodhi

5 months ago

Please login to add feedback.

Metadata
Type
newpackage
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
5 months ago
in testing
5 months ago
in stable
5 months ago
approved
5 months ago
BZ#2172651 cadical-1.7.0 is available
0
0
BZ#2223012 Review Request: cvc5 - Automatic theorem prover for SMT problems
0
0

Automated Test Results