See http://blog.frama-c.com/index.php?post/2017/06/13/Frama-C-15-%28Phosphorus%29-released%2C-and-open-source-case-studies for information on new features in this release.
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-e1f3f61ab3
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 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.