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.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2021-9bd7ae957f

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

9 months ago

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

9 months ago

This update has been submitted for stable by bodhi

9 months ago

Please login to add feedback.

Automated Test Results