stable

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

FEDORA-2021-9bd7ae957f created by jjames a year 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

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

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

a year ago

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

a year ago

This update has been submitted for stable by bodhi

a year ago

Please login to add feedback.

Automated Test Results

ignored