Latest upstream release: 1.4 Current version/release in Fedora Rawhide: 1.3-5.fc21 URL: http://cvc4.cs.nyu.edu/builds/src/ 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: https://fedoraproject.org/wiki/Upstream_release_monitoring
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. https://admin.fedoraproject.org/updates/cvc4-1.4-2.fc22
Package cvc4-1.4-2.fc22: * 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: https://admin.fedoraproject.org/updates/FEDORA-2015-3636/cvc4-1.4-2.fc22 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.