stable

apron-0.9.15-1.fc41, frama-c-29.0-1.fc41, & 3 more

FEDORA-2024-fbac221672 created by jjames a month ago for Fedora 41

Changes in apron 0.9.15:

  • BREAKING CHANGE FOR OCAML: remove polymorphic compare functions and renamed compare functions that do not implement a total order, documentation clarification (#108)
  • Autodetect library in configure for Mac ARM with Homebrew (#107)
  • Support for PPLite 0.12 [Michele Spotti, Enea Zaffanella] (#105)
  • Disable PPL and PPLite when no C++ compiler is detected (#104)
  • Various fixes (#101, #97, #90)

Changes in ocaml-ppx-deriving-yaml 0.3.0:

  • Fix bug with unused infix operators (#56)
  • Stdlib.( = ) is also used now so other stdlibs work (#55)

Changes in pplite 0.12:

  • The library no longer depends on the C++ interface of GMP (this change mainly affects classes pplite::Integer and pplite::Rational).
  • Support for conditional thread safety is now enabled by default.

See https://www.frama-c.com/#latest_events for changes in frama-c 29.0.

The why3 build is a simple rebuild due to the apron update.

This update's test gating status has been changed to 'waiting'.

a month ago

This update's test gating status has been changed to 'ignored'.

a month ago

This update's test gating status has been changed to 'waiting'.

a month ago

This update's test gating status has been changed to 'ignored'.

a month ago

This update has been submitted for stable by bodhi

a month ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
a month ago
in testing
a month ago
in stable
a month ago
approved
a month ago
BZ#2274464 pplite-0.12 is available
0
0
BZ#2277535 ocaml-ppx-deriving-yaml-0.3.0 is available
0
0
BZ#2291005 apron-0.9.15 is available
0
0

Automated Test Results