stable

alt-ergo-2.3.3-11.fc40, apron-0.9.14-2.fc40, & 188 more

FEDORA-2023-f0270d1637 created by rjones a year ago for Fedora 40

Update to OCaml 5.1 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/LCS4QWH4SLPW3KGX6JSD6UGGYH3BDB7R/)

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-2023-f0270d1637

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

a year ago

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

a year ago

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

a year ago

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

a year ago
User Icon rjones commented a year ago

I have installed the packages locally and compiled some OCaml stuff and it works fine for me.

This update has been submitted for stable by bodhi

a year ago

Please login to add feedback.

Metadata
Type
unspecified
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 year ago
in testing
a year ago
in stable
a year ago
approved
a year ago
Builds
190
alt-ergo-2.3.3-11.fc40
apron-0.9.14-2.fc40
brltty-6.6-5.fc40
coccinelle-1.1.1-23.20230624git0afff7f.fc40
coq-8.17.1-6.fc40
emacs-common-tuareg-3.0.1-2.fc40
flocq-4.1.1-6.fc40
frama-c-27.1-5.fc40
gappalib-coq-1.5.3-6.fc40
graphviz-9.0.0-2.fc40
guestfs-tools-1.51.4-2.fc40
haxe-4.3.2-2.fc40
hevea-2.36-8.fc40
hivex-1.3.23-13.fc40
libguestfs-1.51.7-3.fc40
libnbd-1.18.0-2.fc40
nbdkit-1.36.0-3.fc40
not-ocamlfind-0.12-2.fc40
ocaml-5.1.0-3.fc40
ocaml-alcotest-1.7.0-5.fc40
ocaml-astring-0.8.5-18.fc40
ocaml-atd-2.12.0-4.fc40
ocaml-augeas-0.6-27.fc40
ocaml-autoconf-1.1-36.fc40
ocaml-base-0.16.3-2.fc40
ocaml-base64-3.5.1-5.fc40
ocaml-benchmark-1.6-7.fc40
ocaml-bigarray-compat-1.1.0-9.fc40
ocaml-biniou-1.2.2-4.fc40
ocaml-bin-prot-0.16.0-4.fc40
ocaml-bisect-ppx-2.8.3-3.fc40
ocaml-bos-0.2.1-12.fc40
ocaml-cairo-0.6.4-7.fc40
ocaml-calendar-3.0.0-4.fc40
ocaml-camlbz2-0.7.0-13.fc40
ocaml-camlidl-1.12-2.fc40
ocaml-camlimages-5.0.4-15.fc40
ocaml-camlp5-8.02.01-2.fc40
ocaml-camlp5-buildscripts-0.03-4.fc40
ocaml-camlp-streams-5.0.1-8.fc40
ocaml-camomile-2.0.0-4.fc40
ocaml-cinaps-0.15.1-14.fc40
ocaml-cmdliner-1.2.0-4.fc40
ocaml-compiler-libs-janestreet-0.12.4-14.fc40
ocaml-cppo-1.6.9-4.fc40
ocaml-cryptokit-1.18-5.fc40
ocaml-csexp-1.5.2-6.fc40
ocaml-csv-2.4-14.fc40
ocaml-ctypes-0.21.1-2.fc40
ocaml-cudf-0.10-4.fc40
ocaml-curl-0.9.2-9.fc40
ocaml-curses-1.0.11-4.fc40
ocaml-dbus-0.30-49.fc40
ocaml-dose3-7.0.0-19.fc40
ocaml-dune-3.11.0-3.fc40
ocaml-easy-format-1.3.4-4.fc40
ocaml-expat-1.3.0-4.fc40
ocaml-extlib-1.7.9-4.fc40
ocaml-facile-1.1.4-4.fc40
ocaml-fieldslib-0.16.0-4.fc40
ocaml-fileutils-0.6.4-4.fc40
ocaml-findlib-1.9.6-6.fc40
ocaml-fmt-0.9.0-10.fc40
ocaml-fpath-0.7.3-15.fc40
ocaml-gen-1.1-5.fc40
ocaml-gettext-0.4.2-15.fc40
ocaml-graphics-5.1.2-13.fc40
ocaml-gsl-1.24.3-4.fc40
ocamlify-0.0.2-38.fc40
ocaml-integers-0.7.0-9.fc40
ocaml-jane-street-headers-0.16.0-4.fc40
ocaml-jst-config-0.16.0-4.fc40
ocaml-lablgl-1.07-4.fc40
ocaml-lablgtk-2.18.13-7.fc40
ocaml-lablgtk3-3.1.3-7.fc40
ocaml-labltk-8.06.13-6.fc40
ocaml-lacaml-11.0.10-4.fc40
ocaml-lambda-term-3.3.2-3.fc40
ocaml-libvirt-0.6.1.7-5.fc40
ocaml-logs-0.7.0-13.fc40
ocaml-luv-0.5.12-7.fc40
ocaml-lwt-5.7.0-2.fc40
ocaml-markup-1.0.3-10.fc40
ocaml-mccs-1.1-43.16.fc40
ocaml-mdx-2.3.1-2.fc40
ocaml-menhir-20230608-4.fc40
ocaml-merlin-4.12-2.fc40
ocaml-mew-0.1.0-21.fc40
ocaml-mew-vi-0.5.0-21.fc40
ocaml-mlgmpidl-1.3.0-4.fc40
ocaml-mlmpfr-4.2.0-3.20230928git72fd3f3.fc40
ocamlmod-0.0.9-35.fc40
ocaml-mtime-2.0.0-5.fc40
ocaml-mysql-1.2.4-6.fc40
ocaml-newt-0.9-76.fc40
ocaml-num-1.4-13.fc40
ocaml-obuild-0.1.10-23.20230115git5845999.fc40
ocaml-ocamlbuild-0.14.2-4.fc40
ocaml-ocamlgraph-2.1.0-2.fc40
ocaml-ocamlnet-4.1.9-15.fc40
ocaml-ocp-indent-1.8.2-21.fc40
ocaml-ocplib-endian-1.2-11.fc40
ocaml-ocplib-simplex-0.4.1-4.fc40
ocaml-octavius-1.2.2-17.fc40
ocaml-odoc-2.3.0-2.fc40
ocaml-omake-0.10.6-5.fc40
ocaml-opam-file-format-2.1.6-6.fc40
ocaml-ounit-2.2.7-4.fc40
ocaml-parmap-1.2.5-7.fc40
ocaml-parsexp-0.16.0-5.fc40
ocaml-pcre2-7.5.2-2.fc40
ocaml-pcre-7.5.0-13.fc40
ocaml-perl4caml-0.9.5-103.fc40
ocaml-postgresql-5.0.0-4.fc40
ocaml-pp-1.2.0-2.fc40
ocaml-ppx-assert-0.16.0-4.fc40
ocaml-ppx-base-0.16.0-4.fc40
ocaml-ppx-cold-0.16.0-4.fc40
ocaml-ppx-compare-0.16.0-4.fc40
ocaml-ppx-custom-printf-0.16.0-4.fc40
ocaml-ppx-derivers-1.2.1-31.fc40
ocaml-ppx-deriving-5.2.1-23.fc40
ocaml-ppx-deriving-yaml-0.2.1-5.fc40
ocaml-ppx-deriving-yojson-3.7.0-8.fc40
ocaml-ppx-enumerate-0.16.0-4.fc40
ocaml-ppx-expect-0.16.0-4.fc40
ocaml-ppx-fields-conv-0.16.0-4.fc40
ocaml-ppx-globalize-0.16.0-6.fc40
ocaml-ppx-hash-0.16.0-4.fc40
ocaml-ppx-here-0.16.0-4.fc40
ocaml-ppx-import-1.10.0-10.fc40
ocaml-ppx-inline-test-0.16.0-4.fc40
ocaml-ppx-js-style-0.16.0-4.fc40
ocaml-ppx-let-0.16.0-4.fc40
ocaml-ppxlib-0.31.0-2.fc40
ocaml-ppx-optcomp-0.16.0-4.fc40
ocaml-ppx-sexp-conv-0.16.0-4.fc40
ocaml-ppx-stable-witness-0.16.0-6.fc40
ocaml-ppx-variants-conv-0.16.0-4.fc40
ocaml-psmt2-frontend-0.4.0-12.fc40
ocaml-ptmap-2.0.5-15.fc40
ocaml-pyml-20220905-5.fc40
ocaml-qcheck-0.21.2-2.fc40
ocaml-qtest-2.11.2-16.fc40
ocaml-re-1.11.0-2.fc40
ocaml-react-1.2.2-4.fc40
ocaml-res-5.0.1-9.fc40
ocaml-result-1.5-19.fc40
ocaml-rresult-0.7.0-11.fc40
ocaml-SDL-0.9.1-63.fc40
ocaml-sedlex-3.2-4.fc40
ocaml-sexplib0-0.16.0-4.fc40
ocaml-sexplib-0.16.0-4.fc40
ocaml-sha-1.15.4-4.fc40
ocaml-sqlite-5.1.0-9.fc40
ocaml-srpm-macros-9-1.fc40
ocaml-ssl-0.7.0-3.20230714gitffc634d.fc40
ocaml-stdcompat-19-10.fc40
ocaml-stdio-0.16.0-4.fc40
ocaml-time-now-0.16.0-4.fc40
ocaml-topkg-1.0.7-6.fc40
ocaml-trie-1.0.0-20.fc40
ocaml-tyxml-4.6.0-2.fc40
ocaml-uucd-15.1.0-2.fc40
ocaml-uucp-15.1.0-2.fc40
ocaml-uunf-15.1.0-2.fc40
ocaml-uuseg-15.1.0-2.fc40
ocaml-uutf-1.0.3-10.fc40
ocaml-variantslib-0.16.0-4.fc40
ocaml-version-3.6.2-2.fc40
ocaml-xml-light-2.5-5.fc40
ocaml-xmlm-1.4.0-4.fc40
ocaml-xmlrpc-light-0.6.1-75.fc40
ocaml-yaml-3.1.0-6.fc40
ocaml-yojson-2.1.0-4.fc40
ocaml-zarith-1.13-2.fc40
ocaml-zed-3.2.3-2.fc40
ocaml-zip-1.11-11.fc40
ocaml-zmq-5.2.1-8.fc40
opam-2.1.5-7.fc40
planets-0.1.13-38.fc40
plplot-5.15.0-58.fc40
prooftree-0.13-27.fc40
supermin-5.3.3-16.fc40
utop-2.13.1-4.fc40
virt-top-1.1.1-14.fc40
virt-v2v-2.3.5-3.fc40
why3-1.6.0-7.fc40
z3-4.12.2-7.fc40
zenon-0.8.5-20.fc40
alt-ergo-2.3.3-11.fc40
apron-0.9.14-2.fc40
brltty-6.6-5.fc40
coccinelle-1.1.1-23.20230624git0afff7f.fc40
coq-8.17.1-6.fc40
emacs-common-tuareg-3.0.1-2.fc40
flocq-4.1.1-6.fc40
frama-c-27.1-5.fc40
gappalib-coq-1.5.3-6.fc40
graphviz-9.0.0-2.fc40
guestfs-tools-1.51.4-2.fc40
haxe-4.3.2-2.fc40
hevea-2.36-8.fc40
hivex-1.3.23-13.fc40
libguestfs-1.51.7-3.fc40
libnbd-1.18.0-2.fc40
nbdkit-1.36.0-3.fc40
not-ocamlfind-0.12-2.fc40
ocaml-5.1.0-3.fc40
ocaml-alcotest-1.7.0-5.fc40
ocaml-astring-0.8.5-18.fc40
ocaml-atd-2.12.0-4.fc40
ocaml-augeas-0.6-27.fc40
ocaml-autoconf-1.1-36.fc40
ocaml-base-0.16.3-2.fc40
ocaml-base64-3.5.1-5.fc40
ocaml-benchmark-1.6-7.fc40
ocaml-bigarray-compat-1.1.0-9.fc40
ocaml-biniou-1.2.2-4.fc40
ocaml-bin-prot-0.16.0-4.fc40
ocaml-bisect-ppx-2.8.3-3.fc40
ocaml-bos-0.2.1-12.fc40
ocaml-cairo-0.6.4-7.fc40
ocaml-calendar-3.0.0-4.fc40
ocaml-camlbz2-0.7.0-13.fc40
ocaml-camlidl-1.12-2.fc40
ocaml-camlimages-5.0.4-15.fc40
ocaml-camlp5-8.02.01-2.fc40
ocaml-camlp5-buildscripts-0.03-4.fc40
ocaml-camlp-streams-5.0.1-8.fc40
ocaml-camomile-2.0.0-4.fc40
ocaml-cinaps-0.15.1-14.fc40
ocaml-cmdliner-1.2.0-4.fc40
ocaml-compiler-libs-janestreet-0.12.4-14.fc40
ocaml-cppo-1.6.9-4.fc40
ocaml-cryptokit-1.18-5.fc40
ocaml-csexp-1.5.2-6.fc40
ocaml-csv-2.4-14.fc40
ocaml-ctypes-0.21.1-2.fc40
ocaml-cudf-0.10-4.fc40
ocaml-curl-0.9.2-9.fc40
ocaml-curses-1.0.11-4.fc40
ocaml-dbus-0.30-49.fc40
ocaml-dose3-7.0.0-19.fc40
ocaml-dune-3.11.0-3.fc40
ocaml-easy-format-1.3.4-4.fc40
ocaml-expat-1.3.0-4.fc40
ocaml-extlib-1.7.9-4.fc40
ocaml-facile-1.1.4-4.fc40
ocaml-fieldslib-0.16.0-4.fc40
ocaml-fileutils-0.6.4-4.fc40
ocaml-findlib-1.9.6-6.fc40
ocaml-fmt-0.9.0-10.fc40
ocaml-fpath-0.7.3-15.fc40
ocaml-gen-1.1-5.fc40
ocaml-gettext-0.4.2-15.fc40
ocaml-graphics-5.1.2-13.fc40
ocaml-gsl-1.24.3-4.fc40
ocamlify-0.0.2-38.fc40
ocaml-integers-0.7.0-9.fc40
ocaml-jane-street-headers-0.16.0-4.fc40
ocaml-jst-config-0.16.0-4.fc40
ocaml-lablgl-1.07-4.fc40
ocaml-lablgtk-2.18.13-7.fc40
ocaml-lablgtk3-3.1.3-7.fc40
ocaml-labltk-8.06.13-6.fc40
ocaml-lacaml-11.0.10-4.fc40
ocaml-lambda-term-3.3.2-3.fc40
ocaml-libvirt-0.6.1.7-5.fc40
ocaml-logs-0.7.0-13.fc40
ocaml-luv-0.5.12-7.fc40
ocaml-lwt-5.7.0-2.fc40
ocaml-markup-1.0.3-10.fc40
ocaml-mccs-1.1-43.16.fc40
ocaml-mdx-2.3.1-2.fc40
ocaml-menhir-20230608-4.fc40
ocaml-merlin-4.12-2.fc40
ocaml-mew-0.1.0-21.fc40
ocaml-mew-vi-0.5.0-21.fc40
ocaml-mlgmpidl-1.3.0-4.fc40
ocaml-mlmpfr-4.2.0-3.20230928git72fd3f3.fc40
ocamlmod-0.0.9-35.fc40
ocaml-mtime-2.0.0-5.fc40
ocaml-mysql-1.2.4-6.fc40
ocaml-newt-0.9-76.fc40
ocaml-num-1.4-13.fc40
ocaml-obuild-0.1.10-23.20230115git5845999.fc40
ocaml-ocamlbuild-0.14.2-4.fc40
ocaml-ocamlgraph-2.1.0-2.fc40
ocaml-ocamlnet-4.1.9-15.fc40
ocaml-ocp-indent-1.8.2-21.fc40
ocaml-ocplib-endian-1.2-11.fc40
ocaml-ocplib-simplex-0.4.1-4.fc40
ocaml-octavius-1.2.2-17.fc40
ocaml-odoc-2.3.0-2.fc40
ocaml-omake-0.10.6-5.fc40
ocaml-opam-file-format-2.1.6-6.fc40
ocaml-ounit-2.2.7-4.fc40
ocaml-parmap-1.2.5-7.fc40
ocaml-parsexp-0.16.0-5.fc40
ocaml-pcre2-7.5.2-2.fc40
ocaml-pcre-7.5.0-13.fc40
ocaml-perl4caml-0.9.5-103.fc40
ocaml-postgresql-5.0.0-4.fc40
ocaml-pp-1.2.0-2.fc40
ocaml-ppx-assert-0.16.0-4.fc40
ocaml-ppx-base-0.16.0-4.fc40
ocaml-ppx-cold-0.16.0-4.fc40
ocaml-ppx-compare-0.16.0-4.fc40
ocaml-ppx-custom-printf-0.16.0-4.fc40
ocaml-ppx-derivers-1.2.1-31.fc40
ocaml-ppx-deriving-5.2.1-23.fc40
ocaml-ppx-deriving-yaml-0.2.1-5.fc40
ocaml-ppx-deriving-yojson-3.7.0-8.fc40
ocaml-ppx-enumerate-0.16.0-4.fc40
ocaml-ppx-expect-0.16.0-4.fc40
ocaml-ppx-fields-conv-0.16.0-4.fc40
ocaml-ppx-globalize-0.16.0-6.fc40
ocaml-ppx-hash-0.16.0-4.fc40
ocaml-ppx-here-0.16.0-4.fc40
ocaml-ppx-import-1.10.0-10.fc40
ocaml-ppx-inline-test-0.16.0-4.fc40
ocaml-ppx-js-style-0.16.0-4.fc40
ocaml-ppx-let-0.16.0-4.fc40
ocaml-ppxlib-0.31.0-2.fc40
ocaml-ppx-optcomp-0.16.0-4.fc40
ocaml-ppx-sexp-conv-0.16.0-4.fc40
ocaml-ppx-stable-witness-0.16.0-6.fc40
ocaml-ppx-variants-conv-0.16.0-4.fc40
ocaml-psmt2-frontend-0.4.0-12.fc40
ocaml-ptmap-2.0.5-15.fc40
ocaml-pyml-20220905-5.fc40
ocaml-qcheck-0.21.2-2.fc40
ocaml-qtest-2.11.2-16.fc40
ocaml-re-1.11.0-2.fc40
ocaml-react-1.2.2-4.fc40
ocaml-res-5.0.1-9.fc40
ocaml-result-1.5-19.fc40
ocaml-rresult-0.7.0-11.fc40
ocaml-SDL-0.9.1-63.fc40
ocaml-sedlex-3.2-4.fc40
ocaml-sexplib0-0.16.0-4.fc40
ocaml-sexplib-0.16.0-4.fc40
ocaml-sha-1.15.4-4.fc40
ocaml-sqlite-5.1.0-9.fc40
ocaml-srpm-macros-9-1.fc40
ocaml-ssl-0.7.0-3.20230714gitffc634d.fc40
ocaml-stdcompat-19-10.fc40
ocaml-stdio-0.16.0-4.fc40
ocaml-time-now-0.16.0-4.fc40
ocaml-topkg-1.0.7-6.fc40
ocaml-trie-1.0.0-20.fc40
ocaml-tyxml-4.6.0-2.fc40
ocaml-uucd-15.1.0-2.fc40
ocaml-uucp-15.1.0-2.fc40
ocaml-uunf-15.1.0-2.fc40
ocaml-uuseg-15.1.0-2.fc40
ocaml-uutf-1.0.3-10.fc40
ocaml-variantslib-0.16.0-4.fc40
ocaml-version-3.6.2-2.fc40
ocaml-xml-light-2.5-5.fc40
ocaml-xmlm-1.4.0-4.fc40
ocaml-xmlrpc-light-0.6.1-75.fc40
ocaml-yaml-3.1.0-6.fc40
ocaml-yojson-2.1.0-4.fc40
ocaml-zarith-1.13-2.fc40
ocaml-zed-3.2.3-2.fc40
ocaml-zip-1.11-11.fc40
ocaml-zmq-5.2.1-8.fc40
opam-2.1.5-7.fc40
planets-0.1.13-38.fc40
plplot-5.15.0-58.fc40
prooftree-0.13-27.fc40
supermin-5.3.3-16.fc40
utop-2.13.1-4.fc40
virt-top-1.1.1-14.fc40
virt-v2v-2.3.5-3.fc40
why3-1.6.0-7.fc40
z3-4.12.2-7.fc40
zenon-0.8.5-20.fc40

Automated Test Results

Copyright © 2007-2025 Red Hat, Inc. and others.

Running bodhi-server 8.3.0^202504140743git8ca72e0 on bodhi-web-273-ppgd9.

bodhi is Free Software. Please file issues if you have any problems. Read the documentation.

• Composes • Legal • Privacy policy •