stable

0install-2.18-2.fc42, alt-ergo-2.3.3-23.fc42, & 194 more

FEDORA-2025-5fc7b516ce created by jjames a month ago for Fedora 42

See https://ocaml.org/releases/5.3.0 for changes in ocaml 5.3.0. All other packages were rebuilt for OCaml 5.3.0. VCS fields were added for packages lacking them. Other changes are as follows:

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

a month ago

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

a month ago

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

a month ago

This update has been submitted for stable by bodhi

a month ago

Please login 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
Builds
196
BZ#2283027 ocaml-cmdliner-1.3.0 is available
0
0
BZ#2309021 ocaml-cppo-1.8.0 is available
0
0
BZ#2313723 ocaml-pp-2.0.0 is available
0
0
BZ#2314018 ocaml-5.3.0 is available
0
0
BZ#2314034 opam-2.3.0 is available
0
0
BZ#2315504 ocaml-version-3.7.3 is available
0
0
BZ#2315511 ocaml-ppxlib-jane-0.17.2 is available
0
0
BZ#2316524 ocaml-ppx-deriving-6.0.3 is available
0
0
BZ#2322701 ocaml-sedlex-3.3 is available
0
0
BZ#2326159 ocaml-lwt-5.9.0 is available
0
0
BZ#2326845 ocaml-ppx-deriving-yaml-0.4.0 is available
0
0
BZ#2328702 ocaml-dune-3.17.1 is available
0
0
BZ#2328722 utop-2.15.0 is available
0
0
BZ#2329013 ocaml-merlin-5.4-503 is available
0
0
BZ#2330619 ocaml-odoc-2.4.4 is available
0
0
BZ#2330967 ocaml-mdx-2.5.0 is available
0
0
BZ#2331682 why3-1.8.0 is available
0
0
BZ#2332208 ocaml-qcheck-0.23 is available
0
0
BZ#2332793 z3-4.13.4 is available
0
0
BZ#2333345 ocaml-ppx-deriving-yojson-3.9.1 is available
0
0
BZ#2333911 ocaml-pcre2-8.0.2 is available
0
0
BZ#2335812 ocaml-ppxlib-0.34.0 is available
0
0
BZ#2336532 ocaml-mccs-1.1+19 is available
0
0

Automated Test Results