stable

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

FEDORA-2025-89ba0ab2d1 created by jjames a month ago for Fedora 43

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

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
Builds
4
flocq-4.2.1-1.fc43
frama-c-30.0-5.fc43
gappalib-coq-1.6.0-4.fc43
why3-1.8.0-4.fc43
flocq-4.2.1-1.fc43
frama-c-30.0-5.fc43
gappalib-coq-1.6.0-4.fc43
why3-1.8.0-4.fc43

Automated Test Results

Copyright © 2007-2025 Red Hat, Inc. and others.

Running bodhi-server 8.3.0 on bodhi-web-177-vpch4.

bodhi is Free Software. Please file issues if you have any problems. Read the documentation.

• Composes • Legal • Privacy policy •