stable

why-2.39-1.fc27

FEDORA-2017-df0203663e created by jjames 7 years ago for Fedora 27

Changes in version 2.39:

  • [Frama-C plugin] Compatible with release Phosphorus (a.k.a. 20170501)
  • [bug fix] detection of Frama-C version at configure phase
  • [bug fix] support for floating-point rounding modes Up, NearestAway and ToZero

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-2017-df0203663e

This update has been submitted for testing by jjames.

7 years ago

This update has been pushed to testing.

7 years ago

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

7 years ago

This update has been submitted for stable by jjames.

7 years ago

This update has been pushed to stable.

7 years ago

Please login to add feedback.

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

Automated Test Results