Latest upstream release: 1.4
Current version/release in Fedora Rawhide: 1.3-5.fc21
Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy
More information about the service that created this bug can be found at:
I've been looking into this new release already. It has 2 new dependencies: abc and glpk-cut-log. I am still debating whether to try to get the glpk-cut-log work merged into standard glpk, or submit glpk-cut-log as a new package. If anybody has an opinion on the matter, please speak up.
jjames's cvc4-1.4-2.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=619632
cvc4-1.4-2.fc22 has been submitted as an update for Fedora 22.
* should fix your issue,
* was pushed to the Fedora 22 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing cvc4-1.4-2.fc22'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
cvc4-1.4-2.fc22 has been pushed to the Fedora 22 stable repository. If problems still persist, please make note of it in this bug report.