Changes in coq 8.14.0:
Changes in gappa 1.4.0:
Changes in gappalib-coq 1.5.0:
fixed_error_up
, _zr
, _na
, and fixed_round_na
abs_a
Changes in ocaml-menhir 20211012:
Changes in ocaml-zmq 5.1.4:
Changes in zenon 0.8.5:
The flocq build is a simple rebuild due to the coq update.
The why3 and frama-c builds are also rebuilds due to the coq update, but required patches to make them work with coq 8.14.0. Both packages also dropped support for XEmacs, which is deprecated in Fedora and slated for removal.
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-2021-fa8667d166
Please 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 has been submitted for stable by bodhi