stable

frama-c-1.13-1.fc24, why-2.35-15.fc24, & 1 more

FEDORA-2016-b993eb7c4a created by jjames 8 years ago for Fedora 24

Upstream notes on why3 0.87:

  • Assorted bug fixes

See http://frama-c.com/Changelog.html for information on changes in Frama-C Aluminium.

The why package was merely rebuilt for the other 2 package updates.

How to install

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-b993eb7c4a

This update has been submitted for testing by jjames.

8 years ago

This update has been pushed to testing.

8 years ago

This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes

8 years ago

This update has been submitted for stable by jjames.

8 years ago

This update has been pushed to stable.

8 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
medium
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
8 years ago
in testing
8 years ago
in stable
8 years ago

Automated Test Results