Changes in why3 0.87.2:
Frama-C and why are just rebuilds to the updated why3 package.
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-2016-f85348b906
Please login to add feedback.
This update has been submitted for testing by jjames.
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.
This update has been pushed to stable.