stable

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

FEDORA-2024-162f3fe1ba created by jjames 5 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'.

5 months ago

This update has been submitted for testing by bodhi.

5 months ago

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

5 months ago

This update has been pushed to testing.

5 months ago

This update has been submitted for stable by bodhi.

5 months ago

This update has been pushed to stable.

5 months ago

Please login to add feedback.

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

Automated Test Results