Changes to ocaml-mlgmpidl:
Changes in frama-c Silicon:
Changes in why 2.37:
Changes in why 2.38:
The apron update is a simple rebuild due to the ocaml-mlgmpidl changes.
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-2017-237df63a79Please login to add feedback.
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.