coq-8.14.0-1.fc36, flocq-3.4.2-6.fc36, & 7 more

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

Changes in coq 8.14.0:

Changes in gappa 1.4.0:

Changes in gappalib-coq 1.5.0:

  • ensured compatibility from Coq 8.8 to 8.14
  • proved fixed_error_up, _zr, _na, and fixed_round_na
  • proved abs_a

Changes in ocaml-menhir 20211012:

  • Fix a bug in the code back-end which, in some rare cases, could lead to computing an incorrect position. (The table back-end was not affected.) A necessary (but not sufficient) condition for the bug to appear was to mark an epsilon production as %inline.

Changes in ocaml-zmq 5.1.4:

Changes in zenon 0.8.5:

  • Maintenance release to make Zenon compatible with newer versions of OCaml (4.07.0 to 4.11.1) and Coq (8.6 to 8.12.0).

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.

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-fa8667d166

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.

Content Type
Test Gating
Unstable by Karma
Stable by Karma
Stable by Time
0 days
2 years ago
in testing
2 years ago
in stable
2 years ago

Automated Test Results