Most of the builds in this update consist of coordinated releases of version 0.15.0 of various Jane Street OCaml packages. See the individual package changelogs for details.
See https://coq.inria.fr/refman/changes.html#changes-in-8-14-1 for changes in coq 8.14.1.
See https://github.com/aantron/bisect_ppx/releases/tag/2.7.0 for changes in ocaml-bisect-ppx 2.7.0.
See https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md for changes in versions 20211125 and 2021128 of ocaml-menhir.
The builds of flocq, frama-c, gappalib-coq, ocaml-bin-prot, ocaml-lwt, ocaml-ppxlib, ocaml-ppx-deriving, ocaml-ppx-deriving-yojson, ocaml-ppx-fields-conv, ocaml-ppx-inline-test, ocaml-ppx-variants-conv, ocaml-sedlex, why3, and zenon are simple rebuilds due to the above changes.
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-9bd7ae957fPlease 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