Changes in coq 8.14.0:
Changes in gappa 1.4.0:
Changes in gappalib-coq 1.5.0:
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.
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