Changes in why3 0.87.2:
Frama-C and why are just rebuilds to the updated why3 package.
sudo dnf upgrade --advisory=FEDORA-2016-d4fbbc7f8f
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update has been submitted for stable by jjames.
This update has been pushed to stable.
Please login to add feedback.
Confirm request to re-trigger tests.
Copyright © 2007-2019 Red Hat, Inc. and
bodhi is Free Software.
if you have any problems. Read the documentation.