stable

apron-0.9.11-6.1097.svn20160801.fc25, frama-c-1.14-1.fc25, & 2 more

FEDORA-2017-237df63a79 created by jjames 7 years ago for Fedora 25

Changes to ocaml-mlgmpidl:

  • Update to latest subversion snapshot for miscellaneous bug fixes
  • Fix documentation installation and make the -doc subpackage be noarch
  • Build a shared ocaml library (cmxs) in addition to the static (cmxa) library

Changes in frama-c Silicon:

Changes in why 2.37:

  • Compatible with release Aluminium (a.k.a. 20160502) of Frama-C
  • compatibility with Why3 from 0.86.1 to 0.87.3

Changes in why 2.38:

  • Compatible with release Silicon (a.k.a. 20161101) of Frama-C

The apron update is a simple rebuild due to the ocaml-mlgmpidl changes.

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-237df63a79

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 7 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
medium
Karma
0
Signed
Content Type
RPM
Test Gating
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