stable

coq-8.14.1-1.fc36, flocq-3.4.2-7.fc36, & 36 more

FEDORA-2021-9bd7ae957f created by jjames 2 years ago for Fedora 36

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

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-9bd7ae957f

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

2 years ago

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

2 years ago

This update has been submitted for stable by bodhi

2 years ago

Please login to add feedback.

Automated Test Results