stable

flocq-4.2.1-1.fc42, frama-c-30.0-5.fc42, & 2 more

FEDORA-2025-f8ebfad3cf created by jjames a month ago for Fedora 42

Changes in flocq 4.2.1:

  • made Coq 8.15 the minimal version and removed the Int63Compat and Nat2Z_compat layers
  • ensured compatibility from Coq 8.15 to 9.0

The other builds are simple rebuilds due to the flocq 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-f8ebfad3cf

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

a month ago

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

a month ago

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

a month ago

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

a month ago

This update has been submitted for stable by bodhi

a month 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
0 days
Dates
submitted
a month ago
in testing
a month ago
in stable
a month ago
approved
a month ago

Automated Test Results