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

sudo dnf upgrade --advisory=FEDORA-2017-237df63a79

This update has been submitted for testing by jjames.

4 years ago

This update has been pushed to testing.

4 years ago

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

4 years ago

This update has been submitted for stable by jjames.

4 years ago

This update has been pushed to stable.

4 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
4 years ago
in testing
4 years ago
in stable
4 years ago

Automated Test Results