Changes in ocaml-zarith 1.4:
Changes in ocaml-zarith 1.4.1:
alt-ergo, frama-c, ocaml-tplib, and why3 updates are rebuilds for the new ocaml-zarith.
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-2015-1706e6b2e4
Please login to add feedback.
This update has been submitted for testing by jjames.
This update has been pushed to testing.
jjames edited this update.
New build(s):
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
This update has been pushed to stable.