stable

alt-ergo-2.3.3-10.fc39, apron-0.9.14-0.4.beta.2.fc39, & 9 more

FEDORA-2023-be1f6231f3 created by jjames 9 months ago for Fedora 39

The apron update to beta2 fixes a minor code issue with beta1 and also enables csdp support.

See https://github.com/ocaml/Zarith/blob/master/Changes for changes in ocaml-zarith 1.13.

All other builds are simple rebuilds due to the apron and ocaml-zarith updates.

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-2023-be1f6231f3

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

9 months ago

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

9 months ago

This update has been submitted for stable by bodhi

9 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
9 months ago
in testing
9 months ago
in stable
9 months ago
approved
9 months ago
BZ#2223945 ocaml-zarith-1.13 is available
0
0

Automated Test Results