stable

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

FEDORA-2022-23ea7d785f created by jjames 3 months ago for Fedora 37

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.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-23ea7d785f

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

3 months ago

This update has been submitted for testing by bodhi.

3 months ago

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

3 months ago

This update has been pushed to testing.

3 months ago

This update has been submitted for stable by bodhi.

2 months ago

This update has been pushed to stable.

2 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
3 months ago
in testing
3 months ago
in stable
2 months ago
BZ#2148391 Missing runtime dependency ocaml-ppx-import
0
0

Automated Test Results

ignored