stable

0install-2.18-16.fc45, alt-ergo-2.4.3-5.fc45, & 207 more

FEDORA-2026-403bcf6fd8 created by jjames 4 days ago for Fedora 45

This is a mass rebuild of the OCaml ecosystem with OCaml 5.5.1, which fixes two security bugs. See https://github.com/ocaml/ocaml/releases/tag/5.5.1 for details.

In addition, rocq has been updated to version 9.3.0, which also fixes several CVEs.


New upstream development version 1.61.4


New upstream development version 2.13.7

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-2026-403bcf6fd8

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

4 days ago

This update has obsoleted libguestfs-1.61.4-1.fc45, and has inherited its bugs and notes.

4 days ago

This update has obsoleted virt-v2v-2.13.7-1.fc45, and has inherited its bugs and notes.

4 days ago

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

4 days ago

This update has been submitted for testing by bodhi.

4 days ago

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

4 days ago

This update has been pushed to testing.

4 days ago
karma
User Icon rjones commented & provided feedback 3 days ago
karma

I downloaded and recompiled a few packages and there were no issues.

This update can be pushed to stable now if the maintainer wishes

3 days ago
User Icon rjones commented & provided feedback 2 days ago

I pushed this to stable since it works fine and I need to rebuild some OCaml packages in F45 on top.

This update has been submitted for stable by rjones.

2 days ago

This update has been submitted for stable by rjones.

2 days ago
User Icon derekenz commented & provided feedback 2 days ago
karma

Works

This update has been pushed to stable.

2 days ago

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

2 days ago

Please log in to add feedback.

Metadata
Type
security
Severity
medium
Karma
3
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
14 days
Dates
submitted
4 days ago
in testing
4 days ago
in stable
2 days ago
approved
3 days ago
Builds
209
BZ#2443780 CVE-2026-28364 ocaml: OCaml: Remote code execution via buffer over-read in Marshal deserialization [fedora-all]
0
0
BZ#2520289 rocq-stdlib-9.2.0 is available
0
0
BZ#2523138 CVE-2020-37268 rocq: Coq and Rocq Provers: Logical inconsistency bypass via Print Assumptions omission [fedora-all]
0
0
BZ#2523145 CVE-2026-72703 rocq: Rocq Prover: Logical Flaw Allows Arbitrary Proof Generation via Unchecked Cross-Calls [fedora-all]
0
0
BZ#2523146 CVE-2026-72705 rocq: Rocq Prover: Logical inconsistency via untracked higher-order fixpoint arguments [fedora-all]
0
0
BZ#2523147 CVE-2026-72714 rocq: Rocq Prover: Critical integrity bypass via universe checking state desynchronization. [fedora-all]
0
0

Automated Test Results