FEDORA-2024-35d249636b — unspecified update for alt-ergo, apron, & 189 more

OCaml 5.2.0 including a fix for a ppc64le code generation problem.

https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/ETQQVA4PKUMRRJOHRWFEZFH3QSMJNQPF/

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-2024-35d249636b

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

6 months ago

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

6 months ago

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

6 months ago

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

6 months ago

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

6 months ago

This update has been submitted for stable by bodhi

6 months ago

Please login to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

passed

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

0 days

Dates

submitted

6 months ago

in testing

6 months ago

in stable

6 months ago

approved

6 months ago

Builds

191

alt-ergo-2.3.3-19.fc41

apron-0.9.15-2.fc41

brltty-6.6-17.fc41

coccinelle-1.2-6.fc41

coq-8.18.0-7.fc41

emacs-common-tuareg-3.0.1-9.fc41

flocq-4.1.4-3.fc41

frama-c-29.0-3.fc41

gappalib-coq-1.5.5-3.fc41

graphviz-11.0.0-7.fc41

guestfs-tools-1.53.1-3.fc41

haxe-4.3.4-3.fc41

hevea-2.36-14.fc41

hivex-1.3.23-22.fc41

libguestfs-1.53.2-6.fc41

libnbd-1.20.1-4.fc41

nbdkit-1.39.7-6.fc41

not-ocamlfind-0.13-2.fc41

ocaml-5.2.0-2.fc41

ocaml-alcotest-1.7.0-11.fc41

ocaml-astring-0.8.5-25.fc41

ocaml-atd-2.15.0-8.fc41

ocaml-augeas-0.6-35.fc41

ocaml-autoconf-1.1-42.fc41

ocaml-base-0.16.3-9.fc41

ocaml-base64-3.5.1-12.fc41

ocaml-benchmark-1.6-13.fc41

ocaml-bigarray-compat-1.1.0-16.fc41

ocaml-biniou-1.2.2-10.fc41

ocaml-bin-prot-0.16.0-10.fc41

ocaml-bisect-ppx-2.8.3-10.fc41

ocaml-bos-0.2.1-20.fc41

ocaml-cairo-0.6.4-13.fc41

ocaml-calendar-3.0.0-12.fc41

ocaml-camlbz2-0.8.0-3.fc41

ocaml-camlidl-1.12-8.fc41

ocaml-camlimages-5.0.5-3.fc41

ocaml-camlp5-8.03.00-3.fc41

ocaml-camlp5-buildscripts-0.03-10.fc41

ocaml-camlp-streams-5.0.1-14.fc41

ocaml-camomile-2.0.0-12.fc41

ocaml-cinaps-0.15.1-20.fc41

ocaml-cmdliner-1.3.0-3.fc41

ocaml-compiler-libs-janestreet-0.17.0-3.fc41

ocaml-cppo-1.6.9-10.fc41

ocaml-crunch-3.3.1-8.fc41

ocaml-cryptokit-1.19-3.fc41

ocaml-csexp-1.5.2-12.fc41

ocaml-csv-2.4-21.fc41

ocaml-ctypes-0.22.0-3.fc41

ocaml-cudf-0.10-10.fc41

ocaml-curl-0.9.2-16.fc41

ocaml-curses-1.0.11-10.fc41

ocaml-dbus-0.30-56.fc41

ocaml-dose3-7.0.0-26.fc41

ocaml-dune-3.16.0-2.fc41

ocaml-easy-format-1.3.4-10.fc41

ocaml-expat-1.3.0-10.fc41

ocaml-extlib-1.7.9-10.fc41

ocaml-facile-1.1.4-11.fc41

ocaml-fieldslib-0.16.0-10.fc41

ocaml-fileutils-0.6.4-10.fc41

ocaml-findlib-1.9.6-13.fc41

ocaml-fmt-0.9.0-17.fc41

ocaml-fpath-0.7.3-22.fc41

ocaml-gen-1.1-11.fc41

ocaml-gettext-0.4.2-21.fc41

ocaml-graphics-5.1.2-19.fc41

ocaml-gsl-1.25.0-3.fc41

ocamlify-0.0.2-45.fc41

ocaml-integers-0.7.0-15.fc41

ocaml-jane-street-headers-0.16.0-10.fc41

ocaml-jst-config-0.16.0-10.fc41

ocaml-lablgl-1.07-12.fc41

ocaml-lablgtk-2.18.13-13.fc41

ocaml-lablgtk3-3.1.5-2.fc41

ocaml-labltk-8.06.13-12.fc41

ocaml-lacaml-11.0.10-11.fc41

ocaml-lambda-term-3.3.2-9.fc41

ocaml-libvirt-0.6.1.7-11.fc41

ocaml-logs-0.7.0-20.fc41

ocaml-luv-0.5.12-13.fc41

ocaml-lwt-5.7.0-10.fc41

ocaml-markup-1.0.3-16.fc41

ocaml-mccs-1.1-51.17.fc41

ocaml-mdx-2.4.1-3.fc41

ocaml-menhir-20231231-5.fc41

ocaml-merlin-5.0-3.fc41

ocaml-mew-0.1.0-27.fc41

ocaml-mew-vi-0.5.0-27.fc41

ocaml-mlgmpidl-1.3.0-10.fc41

ocaml-mlmpfr-4.2.1-5.fc41

ocamlmod-0.0.9-41.fc41

ocaml-mtime-2.0.0-12.fc41

ocaml-mysql-1.2.4-13.fc41

ocaml-num-1.5-8.fc41

ocaml-obuild-0.1.11-3.fc41

ocaml-ocamlbuild-0.14.3-5.fc41

ocaml-ocamlgraph-2.1.0-8.fc41

ocaml-ocamlnet-4.1.9-21.fc41

ocaml-ocp-indent-1.8.2-28.fc41

ocaml-ocplib-endian-1.2-17.fc41

ocaml-ocplib-simplex-0.4.1-8.fc41

ocaml-octavius-1.2.2-24.fc41

ocaml-odoc-2.4.2-3.fc41

ocaml-omake-0.10.6-12.fc41

ocaml-opam-file-format-2.1.6-13.fc41

ocaml-ounit-2.2.7-10.fc41

ocaml-parmap-1.2.5-13.fc41

ocaml-parsexp-0.16.0-12.fc41

ocaml-pcre2-7.5.2-8.fc41

ocaml-pcre-7.5.0-20.fc41

ocaml-perl4caml-0.9.5-111.fc41

ocaml-postgresql-5.0.0-11.fc41

ocaml-pp-1.2.0-8.fc41

ocaml-ppx-assert-0.16.0-11.fc41

ocaml-ppx-base-0.16.0-11.fc41

ocaml-ppx-cold-0.16.0-11.fc41

ocaml-ppx-compare-0.16.0-11.fc41

ocaml-ppx-custom-printf-0.16.0-11.fc41

ocaml-ppx-derivers-1.2.1-37.fc41

ocaml-ppx-deriving-6.0.2-3.fc41

ocaml-ppx-deriving-yaml-0.3.0-2.fc41

ocaml-ppx-deriving-yojson-3.8.0-3.fc41

ocaml-ppx-enumerate-0.16.0-11.fc41

ocaml-ppx-expect-0.16.0-11.fc41

ocaml-ppx-fields-conv-0.16.0-11.fc41

ocaml-ppx-globalize-0.16.0-13.fc41

ocaml-ppx-hash-0.16.0-11.fc41

ocaml-ppx-here-0.16.0-11.fc41

ocaml-ppx-import-1.11.0-3.fc41

ocaml-ppx-inline-test-0.16.1-6.fc41

ocaml-ppx-js-style-0.16.0-11.fc41

ocaml-ppx-let-0.16.0-11.fc41

ocaml-ppxlib-0.32.1-3.fc41

ocaml-ppx-optcomp-0.16.0-11.fc41

ocaml-ppx-sexp-conv-0.16.0-11.fc41

ocaml-ppx-stable-witness-0.16.0-13.fc41

ocaml-ppx-variants-conv-0.16.0-11.fc41

ocaml-psmt2-frontend-0.4.0-18.fc41

ocaml-ptime-1.1.0-9.fc41

ocaml-ptmap-2.0.5-21.fc41

ocaml-pyml-20231101-8.fc41

ocaml-qcheck-0.21.3-8.fc41

ocaml-qtest-2.11.2-22.fc41

ocaml-re-1.11.0-8.fc41

ocaml-react-1.2.2-11.fc41

ocaml-res-5.0.1-16.fc41

ocaml-result-1.5-25.fc41

ocaml-rresult-0.7.0-18.fc41

ocaml-SDL-0.9.1-69.fc41

ocaml-sedlex-3.2-11.fc41

ocaml-sexplib0-0.16.0-10.fc41

ocaml-sexplib-0.16.0-13.fc41

ocaml-sha-1.15.4-10.fc41

ocaml-sqlite-5.1.0-15.fc41

ocaml-ssl-0.7.0-10.20230714gitffc634d.fc41

ocaml-stdcompat-19-17.fc41

ocaml-stdio-0.16.0-10.fc41

ocaml-stdlib-random-1.2.0-3.fc41

ocaml-time-now-0.16.0-10.fc41

ocaml-topkg-1.0.7-12.fc41

ocaml-trie-1.0.0-26.fc41

ocaml-tyxml-4.6.0-9.fc41

ocaml-unionfind-20220122-6.fc41

ocaml-uucd-15.1.0-9.fc41

ocaml-uucp-15.1.0-9.fc41

ocaml-uunf-15.1.0-9.fc41

ocaml-uuseg-15.1.0-9.fc41

ocaml-uutf-1.0.3-16.fc41

ocaml-variantslib-0.16.0-10.fc41

ocaml-version-3.6.7-3.fc41

ocaml-xml-light-2.5-11.fc41

ocaml-xmlm-1.4.0-10.fc41

ocaml-xmlrpc-light-0.6.1-81.fc41

ocaml-yaml-3.2.0-8.fc41

ocaml-yojson-2.1.2-7.fc41

ocaml-zarith-1.13-8.fc41

ocaml-zed-3.2.3-9.fc41

ocaml-zip-1.11-17.fc41

ocaml-zmq-5.3.0-3.fc41

opam-2.1.6-3.fc41

planets-0.1.13-44.fc41

prooftree-0.14-3.fc41

supermin-5.3.4-4.fc41

utop-2.14.0-3.fc41

virt-top-1.1.1-20.fc41

virt-v2v-2.5.4-3.fc41

why3-1.7.2-4.fc41

z3-4.13.0-4.fc41

zenon-0.8.5-27.fc41

alt-ergo-2.3.3-19.fc41, apron-0.9.15-2.fc41, & 189 more

How to install

Automated Test Results