Back Linuxsecurity

Fedora 45 OCaml Version Update Addresses Serious Remote Code Execution Risk

Linuxsecurity •LinuxSecurity Advisories • October 6, 2026

Share: View original

Running self-managed GitLab? Critical flaws could allow server code execution. Check the fixes. ×

This library provides facilities to parse version numbers of the OCaml

compiler, and enumerates the various official OCaml releases and configuration

OCaml version numbers are of the form `major.minor.patch+extra`, where the

`patch` and `extra` fields are optional. This library offers the following

- Functions to parse and serialize OCaml compiler version numbers

- Enumeration of official OCaml compiler version releases

- Test compiler versions for a particular feature (e.g. the `bytes` type)

- opam compiler switch enumeration

This is a mass rebuild of the OCaml ecosystem with OCaml 5.5.1, which fixes two security bugs. See 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

* Thu Sep 17 2026 Jerry James - 4.1.4-1 - Version 4.1.4 * Tue Sep 15 2026 Richard W.M. Jones - 4.1.3-3 - OCaml 5.5.1 rebuild

[ 1 ] Bug #2443780 - CVE-2026-28364 ocaml: OCaml: Remote code execution via buffer over-read in Marshal deserialization [fedora-all] [ 2 ] Bug #2520289 - rocq-stdlib-9.2.0 is available [ 3 ] Bug #2523138 - CVE-2020-37268 rocq: Coq and Rocq Provers: Logical inconsistency bypass via Print Assumptions omission [fedora-all] [ 4 ] Bug #2523145 - CVE-2026-72703 rocq: Rocq Prover: Logical Flaw Allows Arbitrary Proof Generation via Unchecked Cross-Calls [fedora-all] [ 5 ] Bug #2523146 - CVE-2026-72705 rocq: Rocq Prover: Logical inconsistency via untracked higher-order fixpoint arguments [fedora-all] [ 6 ] Bug #2523147 - CVE-2026-72714 rocq: Rocq Prover: Critical integrity by...

This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2026-403bcf6fd8' at the command line. For more information, refer to the dnf documentation available at

Get the latest News and Insights

Get the latest Linux and open source security news straight to your inbox.

Linux Security - Your source for Top Linux News, Advisories, HOWTOs and Feature Releases

The full story

This article is one source in a clustered incident — the cluster page carries the summary, timeline and every other outlet covering it.

Vulnerabilities in OCaml Libraries Affecting Fedora 45 A mass rebuild of the OCaml ecosystem for Fedora 45 has addressed multiple vulnerabilities, including CVE-2026-28364, which allows remote code execution via buffer over-read in Marshal deserialization. This vulnerability affects various OCaml libraries, including ocaml-stdcompat, ocaml-uuseg, and others. The issues were disclosed on 2026-02-27, with a proof of concept released on 2026-09-24. The vulnerabilities impact users of Fedora 45 and require immediate attention to apply the patches provided. Other CVEs, such as CVE-2026-72703, CVE-2026-72705, and CVE-2020-37268, also received fixes in this update. Users are urged to upgrade their systems to mitigate the risks associated with these vulnerabilities. 42 sources 68

Extracted Entities

Fedora 45 OCaml Version Update Addresses Serious Remote Code Execution Risk

The full story

Extracted Entities

Attack Types (1)

CVEs (5)

CWE Weaknesses (2)