FEDORA-2016-d4fbbc7f8f — bugfix update for frama-c, why, & 1 more

FEDORA-2016-d4fbbc7f8f created by jjames 5 years ago for Fedora 24

stable

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.

Metadata

Type

bugfix

Severity

low

Karma

Signed

Content Type

RPM

Test Gating

Builds

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

5 years ago

in testing

5 years ago

in stable

5 years ago