For changes in this release of cvc4, see https://cvc4.github.io/2019/04/09/cvc4-1.7-released.html. The other package updates are minor enhancements and bug fixes for better compatibility with this release of cvc4.

How to install

sudo dnf upgrade --advisory=FEDORA-2019-80a9b551fc

This update has been submitted for testing by jjames.

7 months ago

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

7 months ago

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

7 months ago

This update has been pushed to testing.

7 months ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

7 months ago

This update has been submitted for stable by jjames.

7 months ago

This update has been pushed to stable.

7 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
Dates
submitted
7 months ago
in testing
7 months ago
in stable
7 months ago
BZ#1697594 cvc4-1.7 is available
0
0
BZ#1707353 cvc4: FTBFS in Fedora rawhide with swig-4.0.0
0
0

Automated Test Results