FEDORA-2014-10235 created by jjames 6 years ago for Fedora 21
stable

This update fixes the ppc64le build. It also updates to version 4.9, which contains various miscellaneous bug fixes from upstream. Also, support for SMT-LIB2 solvers has been improved substantially.

How to install

sudo dnf upgrade --advisory=FEDORA-2014-10235

This update has been submitted for testing by jjames.

6 years ago

AutoQA: depcheck test PASSED on i386. Result log: http://autoqa.fedoraproject.org/report/1fqts (results are informative only)

AutoQA: depcheck test PASSED on x86_64. Result log: http://autoqa.fedoraproject.org/report/1fqtv (results are informative only)

This update is currently being pushed to the Fedora 21 testing updates repository.

6 years ago

This update has been pushed to testing

6 years ago

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

6 years ago

This update has been submitted for stable by jjames.

6 years ago

AutoQA: upgradepath test PASSED on noarch. Result log: http://autoqa.fedoraproject.org/report/1g74l (results are informative only)

jjames has edited this update. New build(s): cbmc-4.9-1.fc21. Removed build(s): cbmc-4.7-3.fc21.

6 years ago

This update has been submitted for testing by jjames.

6 years ago

AutoQA: depcheck test PASSED on x86_64. Result log: http://autoqa.fedoraproject.org/report/1gend (results are informative only)

AutoQA: depcheck test PASSED on i386. Result log: http://autoqa.fedoraproject.org/report/1geo0 (results are informative only)

This update is currently being pushed to the Fedora 21 testing updates repository.

6 years ago

This update has been pushed to testing

6 years ago
User Icon menantea commented & provided feedback 6 years ago
karma

This update has been submitted for stable by jjames.

6 years ago

AutoQA: upgradepath test PASSED on noarch. Result log: http://autoqa.fedoraproject.org/report/1gwf1 (results are informative only)

This update is currently being pushed to the Fedora 21 stable updates repository.

6 years ago

This update is currently being pushed to the Fedora 21 stable updates repository.

6 years ago

This update has been pushed to stable

6 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
1
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
disabled
Dates
submitted
6 years ago
in testing
6 years ago
in stable
6 years ago
modified
6 years ago
BZ#1133066 FTBFS on ppc64/ppc64le
0
0

Automated Test Results