The alt-ergo, frama-c, ocaml-tplib, and why3 builds are simply rebuilds for ocaml-zarith 1.3. The upstream notes on this version of ocaml-zarith are: - Fixed inefficiencies in asm fast path for ARM. - Revised detection of NaNs and infinities in Z.of_float - Suppress the redundant fast paths written in C if a corresponding fast path exists in asm. - Use <stdint.h> to ensure compatibility with OCaml 4.02. - More prudent implementation of Z.of_int, avoids GC problem with OCaml < 4.02 (PR#6501 in the OCaml bug tracker). - PR#1429: of_string accepts 'a' in base 10. - Macro change to avoid compiler warnings on unused variables.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2014-12922Please login to add feedback.
This update has been submitted for testing by jjames.
Taskotron: depcheck test PASSED on i386. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/2035/steps/runtask/logs/stdio (results are informative only)
Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/2035/steps/runtask/logs/stdio (results are informative only)
This update is currently being pushed to the Fedora 21 testing updates repository.
This update has been pushed to testing
This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
Taskotron: upgradepath test PASSED on noarch. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/7412/steps/runtask/logs/stdio (results are informative only)
This update is currently being pushed to the Fedora 21 stable updates repository.
This update is currently being pushed to the Fedora 21 stable updates repository.
This update has been pushed to stable