The update to ocaml-zarith primarily adds some debug information that was formerly missing. Upstream changes:
Changes in why3 1.2.1:
All other builds are rebuilds due to those 2 updates.
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-2019-4e236f3ca2Please login to add feedback.
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.