stable

flocq-4.2.2-2.fc45, frama-c-32.1-3.fc45, & 49 more

FEDORA-2026-b9320d5526 created by jjames a month ago for Fedora 45

See https://github.com/ahrefs/atd/releases/tag/4.0.0 and https://github.com/ahrefs/atd/releases/tag/4.1.0 for changes in ocaml-atd 4.0.0 and 4.1.0.

See https://github.com/dbuenzli/cmdliner/blob/master/CHANGES.md for changes in ocaml-cmdliner 2.1.0.

See https://github.com/ocaml-community/lambda-term/blob/master/CHANGES.md for changes in ocaml-lambda-term 3.4.0.

See https://github.com/ocsigen/lwt/blob/master/CHANGES for changes in ocaml-lwt 6.0.0, 6.1.0, and 6.1.1.

See https://github.com/ocaml/merlin/releases/tag/v5.7.0-504 for changes in ocaml-merlin 5.7.0

See https://github.com/ocaml-ppx/ppxlib/releases/tag/0.38.0 for changes in ocaml-ppxlib 0.38.0.

See https://rocq-prover.org/changelog/2026-03-30-rocq-9.2.0 for changes in rocq 9.2.0. In addition, the native compiler has been enable for x86_64 platforms.

See https://github.com/mjambon/yamlx for information on the new package ocaml-yamlx.

See https://github.com/ocaml/opam/releases/tag/2.5.1 for changes in opam 2.5.1.

The ocaml-yojson package was changed to not build the five subpackage by default, thus avoiding circular dependencies.

All other builds are simple rebuilds due to the above changes.

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

a month ago

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

a month ago

This update has been submitted for stable by bodhi

a month ago

Please log in to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
a month ago
in testing
a month ago
in stable
a month ago
approved
a month ago
BZ#2380204 ocaml-lwt-6.1.1 is available
0
0
BZ#2417010 ocaml-cmdliner-2.1.0 is available
0
0
BZ#2429500 ocaml-lambda-term-3.4.0 is available
0
0
BZ#2449580 ocaml-ppxlib-0.38.0 is available
0
0

Automated Test Results