FEDORA-2025-5fc7b516ce — enhancement update for 0install, alt-ergo, & 194 more

stable

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

FEDORA-2025-5fc7b516ce created by jjames 10 months 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:

alt-ergo: Correct the License fields; do configuration in %conf
apron: Add an upstream patch to fix segfaults in OCaml GC
coq: Update to version 8.20.0; see https://coq.inria.fr/doc/v8.20/refman/changes.html
frama-c: Add a patch for why3 1.8.0 compatibility
hevea: Install into %_texmf_main instead of %_texmf
ocaml-cairo: Update to version 0.6.5; see https://github.com/Chris00/ocaml-cairo/blob/master/CHANGES.md
ocaml-calendar: Add a patch to work around a test failure with OCaml 5.3.0
ocaml-camlbz2: Update the io.h patch for OCaml 5.3.0
ocaml-camlidl: Add an upstream patch to fix segfaults in OCaml GC
ocaml-camlp5: Update to version 8.03.01; see https://github.com/camlp5/camlp5/blob/master/CHANGES
ocaml-camlp5-buildscripts: Update to version 0.04; see https://github.com/camlp5/camlp5-buildscripts/blob/master/CHANGES
ocaml-cppo: Update to version 1.8.0
ocaml-cryptokit: Use zlib-ng instead of zlib
ocaml-csexp: Bump dune lang from 3.15 to 3.17
ocaml-dune: Update to version 3.17.1; see https://github.com/ocaml/dune/blob/main/CHANGES.md. Also update the License field for changes in vendored dependencies and drop the upstreamed furo patch.
ocaml-extlib: Update to version 1.8.0; see https://github.com/ygrek/ocaml-extlib/blob/master/CHANGES
ocaml-fileutiles: Update to version 0.6.6
ocaml-findlib: Update to version 1.9.8; see https://github.com/ocaml/ocamlfind/blob/master/doc/README.xml. Also change config name to findlib.conf to match upstream.
ocaml-gettext: Add patch for OCaml 5.3 support
ocaml-gsl: Update to version 1.25.1; see https://github.com/mmottl/gsl-ocaml/blob/master/CHANGES.md. Also, drop upstreamed patch to link with flexiblas after gsl.
ocaml-jsonm: BR ocaml-compiler-libs for OCaml 5.3.0
ocaml-lacaml: Update to version 11.1.1; see https://github.com/mmottl/lacaml/blob/master/CHANGES.md
ocaml-lwt: Update to version 5.9.0; see https://github.com/ocsigen/lwt/blob/master/CHANGES
ocaml-mccs: Update to version 1.1+19; see https://github.com/ocaml-opam/ocaml-mccs/blob/master/CHANGES.md
ocaml-mdx: Update to version 2.5.0; see https://github.com/realworldocaml/mdx/blob/main/CHANGES.md
ocaml-merlin: Update to version 5.4-503; see https://github.com/ocaml/merlin/releases/tag/v5.4-503
ocaml-mlgmpidl: Remove dependency on ocaml-bigarray-compat
ocaml-mlmpfr: Add patches for OCaml 5.3.0 and dune 3.17 compatibility
ocaml-odoc: Update to version 2.4.4; see https://github.com/ocaml/odoc/blob/master/CHANGES.md
ocaml-omake: Update to version 0.10.7
ocaml-pcre: Update to version 8.0.2; see https://github.com/mmottl/pcre-ocaml/blob/master/CHANGES.md
ocaml-pcre2: Update to version 8.0.2; https://github.com/mmottl/pcre2-ocaml/blob/main/CHANGES.md
ocaml-postgresql: Update to version 5.1.3; drop all patches
ocaml-pp: Update to version 2.0.0; see https://github.com/ocaml-dune/pp/blob/master/CHANGES.md
ocaml-ppx-deriving: Update to version 6.0.3; see https://github.com/ocaml-ppx/ppx_deriving/blob/master/CHANGELOG.md
ocaml-ppx-deriving-yaml: Update to version 0.4.0; see https://github.com/patricoferris/ppx_deriving_yaml/blob/main/CHANGES.md
ocaml-ppx-deriving-yojson: Update to version 3.9.1; see https://github.com/ocaml-ppx/ppx_deriving_yojson/blob/master/CHANGELOG.md
ocaml-ppxlib: Update to version 0.34.0; see https://github.com/ocaml-ppx/ppxlib/blob/main/CHANGES.md. Create a new tools subpackage.
ocaml-ppxlib-jane: Update to version 0.17.2
ocaml-pyml: Remove old obsoletes
ocaml-qcheck: Update to version 0.23; see https://github.com/c-cube/qcheck/blob/main/CHANGELOG.md
ocaml-res: Update to version 5.0.2; see https://github.com/mmottl/res/releases/tag/5.0.2
ocaml-sedlex: Update to version 3.3; see
ocaml-sqlite: Update to version 5.2.0; see https://github.com/mmottl/sqlite3-ocaml/releases/tag/5.2.0
ocaml-stdcompat: Update to git HEAD and add patch for OCaml 5.3.0 support
ocaml-version: Update to version 3.7.3; see https://github.com/ocurrent/ocaml-version/blob/master/CHANGES.md
ocaml-zip: Update to version 1.13; see https://github.com/xavierleroy/camlzip/blob/master/Changes. Also, use zlib-ng instead of zlib.
opam: Update to version 2.3.0; see https://github.com/ocaml/opam/blob/master/CHANGES
utop: Update to version 2.15.0; see https://github.com/ocaml-community/utop/blob/master/CHANGES.md
why3: Update to version 1.8.0; see https://groupes.renater.fr/sympa/arc/why3-club/2024-12/msg00000.html
z3: Update to version 4.13.4; see https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md

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-2025-5fc7b516ce

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

10 months ago

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

10 months ago

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

10 months ago

This update has been submitted for stable by bodhi

10 months ago

Please log in to add feedback.

Metadata

Type

enhancement

Karma

Signed

Content Type

RPM

Test Gating

passed

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

0 days

Dates

submitted

10 months ago

in testing

10 months ago

in stable

10 months ago

approved

10 months ago

Builds

196

0install-2.18-2.fc42

alt-ergo-2.3.3-23.fc42

apron-0.9.15-5.fc42

brltty-6.7-4.fc42

coccinelle-1.3-2.fc42

coq-8.20.0-1.fc42

flocq-4.2.0-3.fc42

frama-c-30.0-2.fc42

freetennis-0.4.8-60.fc42

gappalib-coq-1.5.5-6.fc42

guestfs-tools-1.53.5-2.fc42

haxe-4.3.4-7.fc42

hevea-2.36-15.fc42

hivex-1.3.24-3.fc42

libguestfs-1.55.3-3.fc42

libnbd-1.21.6-2.fc42

nbdkit-1.41.9-2.fc42

not-ocamlfind-0.13-5.fc42

ocaml-5.3.0-1.fc42

ocaml-alcotest-1.8.0-4.fc42

ocaml-astring-0.8.5-27.fc42

ocaml-atd-2.15.0-12.fc42

ocaml-augeas-0.6-37.fc42

ocaml-base-0.17.1-3.fc42

ocaml-base64-3.5.1-14.fc42

ocaml-benchmark-1.6-15.fc42

ocaml-biniou-1.2.2-12.fc42

ocaml-bin-prot-0.17.0-3.fc42

ocaml-bisect-ppx-2.8.3-14.fc42

ocaml-bos-0.2.1-24.fc42

ocaml-cairo-0.6.5-1.fc42

ocaml-calendar-3.0.0-15.fc42

ocaml-camlbz2-0.8.0-5.fc42

ocaml-camlidl-1.12-10.fc42

ocaml-camlimages-5.0.5-5.fc42

ocaml-camlp5-8.03.01-1.fc42

ocaml-camlp5-buildscripts-0.04-1.fc42

ocaml-camlp-streams-5.0.1-16.fc42

ocaml-camomile-2.0.0-14.fc42

ocaml-cinaps-0.15.1-22.fc42

ocaml-cmdliner-1.3.0-5.fc42

ocaml-compiler-libs-janestreet-0.17.0-5.fc42

ocaml-cppo-1.8.0-1.fc42

ocaml-crunch-3.3.1-12.fc42

ocaml-cryptokit-1.20.1-3.fc42

ocaml-csexp-1.5.2-13.fc42

ocaml-csv-2.4-24.fc42

ocaml-ctypes-0.23.0-3.fc42

ocaml-cudf-0.10-12.fc42

ocaml-curl-0.9.2-19.fc42

ocaml-curses-1.0.11-12.fc42

ocaml-dbus-0.30-58.fc42

ocaml-dose3-7.0.0-31.fc42

ocaml-dune-3.17.1-1.fc42

ocaml-easy-format-1.3.4-12.fc42

ocaml-expat-1.3.0-12.fc42

ocaml-extlib-1.8.0-1.fc42

ocaml-facile-1.1.4-13.fc42

ocaml-fieldslib-0.17.0-3.fc42

ocaml-fileutils-0.6.6-1.fc42

ocaml-findlib-1.9.8-1.fc42

ocaml-fmt-0.9.0-19.fc42

ocaml-fpath-0.7.3-24.fc42

ocaml-gen-1.1-13.fc42

ocaml-gettext-0.4.2-23.fc42

ocaml-graphics-5.1.2-21.fc42

ocaml-gsl-1.25.1-1.fc42

ocamlify-0.0.2-47.fc42

ocaml-integers-0.7.0-17.fc42

ocaml-intrinsics-kernel-0.17.1-2.fc42

ocaml-jane-street-headers-0.17.0-4.fc42

ocaml-jsonm-1.0.2-4.fc42

ocaml-jst-config-0.17.0-3.fc42

ocaml-lablgl-1.07-14.fc42

ocaml-lablgtk-2.18.13-15.fc42

ocaml-lablgtk3-3.1.5-4.fc42

ocaml-labltk-8.06.14-2.fc42

ocaml-lacaml-11.1.1-1.fc42

ocaml-lambda-term-3.3.2-13.fc42

ocaml-libvirt-0.6.1.7-13.fc42

ocaml-logs-0.7.0-24.fc42

ocaml-luv-0.5.12-16.fc42

ocaml-lwt-5.9.0-1.fc42

ocaml-markup-1.0.3-19.fc42

ocaml-mccs-1.1.19-1.fc42

ocaml-mdx-2.5.0-1.fc42

ocaml-menhir-20240715-2.fc42

ocaml-merlin-5.4-1.fc42

ocaml-mew-0.1.0-29.fc42

ocaml-mew-vi-0.5.0-29.fc42

ocaml-mlgmpidl-1.3.0-12.fc42

ocaml-mlmpfr-4.2.1-7.fc42

ocamlmod-0.0.9-43.fc42

ocaml-mtime-2.1.0-3.fc42

ocaml-mysql-1.2.4-15.fc42

ocaml-num-1.5-10.fc42

ocaml-obuild-0.1.11-5.fc42

ocaml-ocamlbuild-0.15.0-2.fc42

ocaml-ocamlgraph-2.1.0-10.fc42

ocaml-ocamlnet-4.1.9-23.fc42

ocaml-ocp-indent-1.8.2-31.fc42

ocaml-ocplib-endian-1.2-19.fc42

ocaml-ocplib-simplex-0.4.1-10.fc42

ocaml-octavius-1.2.2-26.fc42

ocaml-odoc-2.4.4-1.fc42

ocaml-omake-0.10.7-1.fc42

ocaml-opam-0install-cudf-0.5.0-2.fc42

ocaml-opam-file-format-2.1.6-16.fc42

ocaml-ounit-2.2.7-13.fc42

ocaml-parmap-1.2.5-15.fc42

ocaml-parsexp-0.17.0-3.fc42

ocaml-pcre2-8.0.2-1.fc42

ocaml-pcre-8.0.2-1.fc42

ocaml-perl4caml-0.9.5-112.fc42

ocaml-postgresql-5.1.3-1.fc42

ocaml-pp-2.0.0-1.fc42

ocaml-ppx-assert-0.17.0-4.fc42

ocaml-ppx-base-0.17.0-4.fc42

ocaml-ppx-cold-0.17.0-4.fc42

ocaml-ppx-compare-0.17.0-4.fc42

ocaml-ppx-custom-printf-0.17.0-4.fc42

ocaml-ppx-derivers-1.2.1-39.fc42

ocaml-ppx-deriving-6.0.3-1.fc42

ocaml-ppx-deriving-yaml-0.4.0-1.fc42

ocaml-ppx-deriving-yojson-3.9.1-1.fc42

ocaml-ppx-enumerate-0.17.0-4.fc42

ocaml-ppx-expect-0.17.2-2.fc42

ocaml-ppx-fields-conv-0.17.0-4.fc42

ocaml-ppx-globalize-0.17.0-4.fc42

ocaml-ppx-hash-0.17.0-4.fc42

ocaml-ppx-here-0.17.0-4.fc42

ocaml-ppx-inline-test-0.17.0-4.fc42

ocaml-ppx-js-style-0.17.0-4.fc42

ocaml-ppx-let-0.17.0-4.fc42

ocaml-ppxlib-0.34.0-1.fc42

ocaml-ppxlib-jane-0.17.2-1.fc42

ocaml-ppx-optcomp-0.17.0-4.fc42

ocaml-ppx-sexp-conv-0.17.0-4.fc42

ocaml-ppx-stable-witness-0.17.0-4.fc42

ocaml-ppx-variants-conv-0.17.0-4.fc42

ocaml-psmt2-frontend-0.4.0-21.fc42

ocaml-ptime-1.2.0-3.fc42

ocaml-ptmap-2.0.5-23.fc42

ocaml-pyml-20231101-10.fc42

ocaml-qcheck-0.23-1.fc42

ocaml-qtest-2.11.2-24.fc42

ocaml-re-1.13.3-2.fc42

ocaml-react-1.2.2-13.fc42

ocaml-res-5.0.2-1.fc42

ocaml-result-1.5-27.fc42

ocaml-rresult-0.7.0-20.fc42

ocaml-SDL-0.9.1-71.fc42

ocaml-sedlex-3.3-1.fc42

ocaml-sexplib0-0.17.0-3.fc42

ocaml-sexplib-0.17.0-4.fc42

ocaml-sha-1.15.4-12.fc42

ocaml-spdx-licenses-1.2.0-3.fc42

ocaml-sqlite-5.2.0-1.fc42

ocaml-ssl-0.7.0-12.20230714gitffc634d.fc42

ocaml-stdcompat-19^20240529.d53390d-1.fc42

ocaml-stdio-0.17.0-4.fc42

ocaml-stdlib-random-1.2.0-6.fc42

ocaml-swhid-core-0.1-3.fc42

ocaml-time-now-0.17.0-4.fc42

ocaml-topkg-1.0.7-14.fc42

ocaml-trie-1.0.0-28.fc42

ocaml-tyxml-4.6.0-14.fc42

ocaml-unionfind-20220122-9.fc42

ocaml-uucd-16.0.0-2.fc42

ocaml-uucp-16.0.0-2.fc42

ocaml-uunf-16.0.0-2.fc42

ocaml-uuseg-16.0.0-2.fc42

ocaml-uutf-1.0.3-18.fc42

ocaml-variantslib-0.17.0-3.fc42

ocaml-version-3.7.3-1.fc42

ocaml-xml-light-2.5-13.fc42

ocaml-xmlm-1.4.0-12.fc42

ocaml-xmlrpc-light-0.6.1-83.fc42

ocaml-yaml-3.2.0-14.fc42

ocaml-yojson-2.2.2-2.fc42

ocaml-zarith-1.14-4.fc42

ocaml-zed-3.2.3-12.fc42

ocaml-zip-1.13-1.fc42

ocaml-zmq-5.3.0-6.fc42

opam-2.3.0-1.fc42

planets-0.1.13-46.fc42

prooftree-0.14-5.fc42

supermin-5.3.5-3.fc42

unison-2.53.5-4.fc42

utop-2.15.0-1.fc42

virt-top-1.1.1-22.fc42

virt-v2v-2.7.4-2.fc42

BZ#2283027 ocaml-cmdliner-1.3.0 is available

BZ#2309021 ocaml-cppo-1.8.0 is available

BZ#2313723 ocaml-pp-2.0.0 is available

BZ#2314018 ocaml-5.3.0 is available

BZ#2314034 opam-2.3.0 is available

BZ#2315504 ocaml-version-3.7.3 is available

BZ#2315511 ocaml-ppxlib-jane-0.17.2 is available

BZ#2316524 ocaml-ppx-deriving-6.0.3 is available

BZ#2322701 ocaml-sedlex-3.3 is available

BZ#2326159 ocaml-lwt-5.9.0 is available

BZ#2326845 ocaml-ppx-deriving-yaml-0.4.0 is available

BZ#2328702 ocaml-dune-3.17.1 is available

BZ#2328722 utop-2.15.0 is available

BZ#2329013 ocaml-merlin-5.4-503 is available

BZ#2330619 ocaml-odoc-2.4.4 is available

BZ#2330967 ocaml-mdx-2.5.0 is available

BZ#2331682 why3-1.8.0 is available

BZ#2332208 ocaml-qcheck-0.23 is available

BZ#2332793 z3-4.13.4 is available

BZ#2333345 ocaml-ppx-deriving-yojson-3.9.1 is available

BZ#2333911 ocaml-pcre2-8.0.2 is available

BZ#2335812 ocaml-ppxlib-0.34.0 is available

BZ#2336532 ocaml-mccs-1.1+19 is available

0install-2.18-2.fc42

alt-ergo-2.3.3-23.fc42

apron-0.9.15-5.fc42

brltty-6.7-4.fc42

coccinelle-1.3-2.fc42

coq-8.20.0-1.fc42

flocq-4.2.0-3.fc42

frama-c-30.0-2.fc42

freetennis-0.4.8-60.fc42

gappalib-coq-1.5.5-6.fc42

guestfs-tools-1.53.5-2.fc42

haxe-4.3.4-7.fc42

hevea-2.36-15.fc42

hivex-1.3.24-3.fc42

libguestfs-1.55.3-3.fc42

libnbd-1.21.6-2.fc42

nbdkit-1.41.9-2.fc42

not-ocamlfind-0.13-5.fc42

ocaml-5.3.0-1.fc42

ocaml-alcotest-1.8.0-4.fc42

ocaml-astring-0.8.5-27.fc42

ocaml-atd-2.15.0-12.fc42

ocaml-augeas-0.6-37.fc42

ocaml-base-0.17.1-3.fc42

ocaml-base64-3.5.1-14.fc42

ocaml-benchmark-1.6-15.fc42

ocaml-biniou-1.2.2-12.fc42

ocaml-bin-prot-0.17.0-3.fc42

ocaml-bisect-ppx-2.8.3-14.fc42

ocaml-bos-0.2.1-24.fc42

ocaml-cairo-0.6.5-1.fc42

ocaml-calendar-3.0.0-15.fc42

ocaml-camlbz2-0.8.0-5.fc42

ocaml-camlidl-1.12-10.fc42

ocaml-camlimages-5.0.5-5.fc42

ocaml-camlp5-8.03.01-1.fc42

ocaml-camlp5-buildscripts-0.04-1.fc42

ocaml-camlp-streams-5.0.1-16.fc42

ocaml-camomile-2.0.0-14.fc42

ocaml-cinaps-0.15.1-22.fc42

ocaml-cmdliner-1.3.0-5.fc42

ocaml-compiler-libs-janestreet-0.17.0-5.fc42

ocaml-cppo-1.8.0-1.fc42

ocaml-crunch-3.3.1-12.fc42

ocaml-cryptokit-1.20.1-3.fc42

ocaml-csexp-1.5.2-13.fc42

ocaml-csv-2.4-24.fc42

ocaml-ctypes-0.23.0-3.fc42

ocaml-cudf-0.10-12.fc42

ocaml-curl-0.9.2-19.fc42

ocaml-curses-1.0.11-12.fc42

ocaml-dbus-0.30-58.fc42

ocaml-dose3-7.0.0-31.fc42

ocaml-dune-3.17.1-1.fc42

ocaml-easy-format-1.3.4-12.fc42

ocaml-expat-1.3.0-12.fc42

ocaml-extlib-1.8.0-1.fc42

ocaml-facile-1.1.4-13.fc42

ocaml-fieldslib-0.17.0-3.fc42

ocaml-fileutils-0.6.6-1.fc42

ocaml-findlib-1.9.8-1.fc42

ocaml-fmt-0.9.0-19.fc42

ocaml-fpath-0.7.3-24.fc42

ocaml-gen-1.1-13.fc42

ocaml-gettext-0.4.2-23.fc42

ocaml-graphics-5.1.2-21.fc42

ocaml-gsl-1.25.1-1.fc42

ocamlify-0.0.2-47.fc42

ocaml-integers-0.7.0-17.fc42

ocaml-intrinsics-kernel-0.17.1-2.fc42

ocaml-jane-street-headers-0.17.0-4.fc42

ocaml-jsonm-1.0.2-4.fc42

ocaml-jst-config-0.17.0-3.fc42

ocaml-lablgl-1.07-14.fc42

ocaml-lablgtk-2.18.13-15.fc42

ocaml-lablgtk3-3.1.5-4.fc42

ocaml-labltk-8.06.14-2.fc42

ocaml-lacaml-11.1.1-1.fc42

ocaml-lambda-term-3.3.2-13.fc42

ocaml-libvirt-0.6.1.7-13.fc42

ocaml-logs-0.7.0-24.fc42

ocaml-luv-0.5.12-16.fc42

ocaml-lwt-5.9.0-1.fc42

ocaml-markup-1.0.3-19.fc42

ocaml-mccs-1.1.19-1.fc42

ocaml-mdx-2.5.0-1.fc42

ocaml-menhir-20240715-2.fc42

ocaml-merlin-5.4-1.fc42

ocaml-mew-0.1.0-29.fc42

ocaml-mew-vi-0.5.0-29.fc42

ocaml-mlgmpidl-1.3.0-12.fc42

ocaml-mlmpfr-4.2.1-7.fc42

ocamlmod-0.0.9-43.fc42

ocaml-mtime-2.1.0-3.fc42

ocaml-mysql-1.2.4-15.fc42

ocaml-num-1.5-10.fc42

ocaml-obuild-0.1.11-5.fc42

ocaml-ocamlbuild-0.15.0-2.fc42

ocaml-ocamlgraph-2.1.0-10.fc42

ocaml-ocamlnet-4.1.9-23.fc42

ocaml-ocp-indent-1.8.2-31.fc42

ocaml-ocplib-endian-1.2-19.fc42

ocaml-ocplib-simplex-0.4.1-10.fc42

ocaml-octavius-1.2.2-26.fc42

ocaml-odoc-2.4.4-1.fc42

ocaml-omake-0.10.7-1.fc42

ocaml-opam-0install-cudf-0.5.0-2.fc42

ocaml-opam-file-format-2.1.6-16.fc42

ocaml-ounit-2.2.7-13.fc42

ocaml-parmap-1.2.5-15.fc42

ocaml-parsexp-0.17.0-3.fc42

ocaml-pcre2-8.0.2-1.fc42

ocaml-pcre-8.0.2-1.fc42

ocaml-perl4caml-0.9.5-112.fc42

ocaml-postgresql-5.1.3-1.fc42

ocaml-pp-2.0.0-1.fc42

ocaml-ppx-assert-0.17.0-4.fc42

ocaml-ppx-base-0.17.0-4.fc42

ocaml-ppx-cold-0.17.0-4.fc42

ocaml-ppx-compare-0.17.0-4.fc42

ocaml-ppx-custom-printf-0.17.0-4.fc42

ocaml-ppx-derivers-1.2.1-39.fc42

ocaml-ppx-deriving-6.0.3-1.fc42

ocaml-ppx-deriving-yaml-0.4.0-1.fc42

ocaml-ppx-deriving-yojson-3.9.1-1.fc42

ocaml-ppx-enumerate-0.17.0-4.fc42

ocaml-ppx-expect-0.17.2-2.fc42

ocaml-ppx-fields-conv-0.17.0-4.fc42

ocaml-ppx-globalize-0.17.0-4.fc42

ocaml-ppx-hash-0.17.0-4.fc42

ocaml-ppx-here-0.17.0-4.fc42

ocaml-ppx-inline-test-0.17.0-4.fc42

ocaml-ppx-js-style-0.17.0-4.fc42

ocaml-ppx-let-0.17.0-4.fc42

ocaml-ppxlib-0.34.0-1.fc42

ocaml-ppxlib-jane-0.17.2-1.fc42

ocaml-ppx-optcomp-0.17.0-4.fc42

ocaml-ppx-sexp-conv-0.17.0-4.fc42

ocaml-ppx-stable-witness-0.17.0-4.fc42

ocaml-ppx-variants-conv-0.17.0-4.fc42

ocaml-psmt2-frontend-0.4.0-21.fc42

ocaml-ptime-1.2.0-3.fc42

ocaml-ptmap-2.0.5-23.fc42

ocaml-pyml-20231101-10.fc42

ocaml-qcheck-0.23-1.fc42

ocaml-qtest-2.11.2-24.fc42

ocaml-re-1.13.3-2.fc42

ocaml-react-1.2.2-13.fc42

ocaml-res-5.0.2-1.fc42

ocaml-result-1.5-27.fc42

ocaml-rresult-0.7.0-20.fc42

ocaml-SDL-0.9.1-71.fc42

ocaml-sedlex-3.3-1.fc42

ocaml-sexplib0-0.17.0-3.fc42

ocaml-sexplib-0.17.0-4.fc42

ocaml-sha-1.15.4-12.fc42

ocaml-spdx-licenses-1.2.0-3.fc42

ocaml-sqlite-5.2.0-1.fc42

ocaml-ssl-0.7.0-12.20230714gitffc634d.fc42

ocaml-stdcompat-19^20240529.d53390d-1.fc42

ocaml-stdio-0.17.0-4.fc42

ocaml-stdlib-random-1.2.0-6.fc42

ocaml-swhid-core-0.1-3.fc42

ocaml-time-now-0.17.0-4.fc42

ocaml-topkg-1.0.7-14.fc42

ocaml-trie-1.0.0-28.fc42

ocaml-tyxml-4.6.0-14.fc42

ocaml-unionfind-20220122-9.fc42

ocaml-uucd-16.0.0-2.fc42

ocaml-uucp-16.0.0-2.fc42

ocaml-uunf-16.0.0-2.fc42

ocaml-uuseg-16.0.0-2.fc42

ocaml-uutf-1.0.3-18.fc42

ocaml-variantslib-0.17.0-3.fc42

ocaml-version-3.7.3-1.fc42

ocaml-xml-light-2.5-13.fc42

ocaml-xmlm-1.4.0-12.fc42

ocaml-xmlrpc-light-0.6.1-83.fc42

ocaml-yaml-3.2.0-14.fc42

ocaml-yojson-2.2.2-2.fc42

ocaml-zarith-1.14-4.fc42

ocaml-zed-3.2.3-12.fc42

ocaml-zip-1.13-1.fc42

ocaml-zmq-5.3.0-6.fc42

opam-2.3.0-1.fc42

planets-0.1.13-46.fc42

prooftree-0.14-5.fc42

supermin-5.3.5-3.fc42

unison-2.53.5-4.fc42

utop-2.15.0-1.fc42

virt-top-1.1.1-22.fc42

virt-v2v-2.7.4-2.fc42

why3-1.8.0-1.fc42

xen-4.19.1-4.fc42

z3-4.13.4-1.fc42

zenon-0.8.5-29.fc42

Automated Test Results

passed