stable

coq-8.16.1-1.fc38, flocq-4.1.0-2.fc38, & 5 more

FEDORA-2022-2dd6cefa3f created by jjames 5 months ago for Fedora 38

See https://coq.inria.fr/distrib/V8.16.1/refman/changes.html#changes-in-8-16-1 for changes in coq 8.16.1.

See https://frama-c.com/#latest_events for changes in frama-c 26.0.

All other builds are simple rebuilds due to the coq update.

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

5 months ago

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

5 months ago

This update has been submitted for stable by bodhi

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
0 days
Dates
submitted
5 months ago
in testing
5 months ago
in stable
5 months ago

Automated Test Results