stable

alt-ergo-2.3.3-27.fc43, coccinelle-1.3-10.fc43, & 8 more

FEDORA-2025-8438a9361e created by jjames 7 months ago for Fedora 43

See https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md for changes in ocaml-menhir 20250903. All other builds are simple rebuilds due to the ocaml-menhir update.

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-2025-8438a9361e

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

7 months ago

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

7 months ago

This update has been submitted for testing by bodhi.

7 months ago

This update has been pushed to testing.

7 months ago

This update has been submitted for stable by bodhi.

There is an ongoing freeze; this will be pushed to stable after the freeze is over.

7 months ago

FEDORA-2025-8438a9361e ejected from the push because 'No checks required but update has less than 1 karma and has been in testing less than 7 days.'

7 months ago

This update has been submitted for stable by bodhi.

7 months ago

This update has been pushed to stable.

7 months ago

Please log in 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
0 days
Dates
submitted
7 months ago
in testing
7 months ago
in stable
7 months ago
approved
7 months ago
BZ#2392856 ocaml-menhir-20250903 is available
0
0

Automated Test Results