Changes in apron 0.9.15:
Changes in ocaml-ppx-deriving-yaml 0.3.0:
Changes in pplite 0.12:
pplite::Integer and pplite::Rational).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.
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-2024-fbac221672Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi