stable

coq-8.18.0-1.fc39, flocq-4.1.3-1.fc39, & 6 more

FEDORA-2024-162f3fe1ba created by jjames 11 months ago for Fedora 39

See https://coq.inria.fr/refman/changes.html for changes in coq 8.18.0.

See https://gitlab.inria.fr/flocq/flocq/-/blob/master/NEWS.md for changes in flocq 4.1.3.

See https://git.frama-c.com/pub/frama-c/-/blob/master/Changelog?ref_type=heads for changes in frama-c 28.0.

Changes in gappa 1.4.2:

  • Configure script regenerated using a recent version of Autoconf

Changes in gappalib-coq 1.5.4:

  • ensured compatibility from Coq 8.8 to 8.18

See https://gitlab.inria.fr/why3/why3/-/blob/master/CHANGES.md for changes in why3 1.7.0.

ocaml-unionfind is a new package needed by frama-c.

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-2024-162f3fe1ba

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

11 months ago

This update has been submitted for testing by bodhi.

11 months ago

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

11 months ago

This update has been pushed to testing.

11 months ago

This update has been submitted for stable by bodhi.

11 months ago

This update has been pushed to stable.

11 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
11 months ago
in testing
11 months ago
in stable
11 months ago
approved
11 months ago

Automated Test Results