FEDORA-2022-d3e15b41f5 — unspecified update for alt-ergo, apron, & 179 more

stable

alt-ergo-2.3.0-5.fc37, apron-0.9.13-11.fc37, & 179 more

FEDORA-2022-d3e15b41f5 created by rjones 7 months ago for Fedora 37

OCaml 4.14.0 update in Fedora 37

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-d3e15b41f5

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

7 months ago

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

7 months ago

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

7 months ago

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

7 months ago

This update has been submitted for stable by bodhi

7 months ago

Please login to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

ignored

Builds

181

alt-ergo-2.3.0-5.fc37

apron-0.9.13-11.fc37

brltty-6.5-3.fc37

coccinelle-1.1.1-9.fc37

coq-8.15.2-1.fc37

flocq-3.4.3-3.fc37

frama-c-24.0-7.fc37

gappalib-coq-1.5.1-3.fc37

graphviz-4.0.0-5.fc37

haxe-4.2.5-2.fc37

hevea-2.35-8.fc37

hivex-1.3.21-9.fc37

libguestfs-1.49.2-6.fc37

libnbd-1.13.2-3.fc37

ocaml-4.14.0-1.fc37

ocaml-alcotest-1.5.0-5.fc37

ocaml-ancient-0.9.0-64.fc37

ocaml-astring-0.8.5-10.fc37

ocaml-augeas-0.6-20.fc37

ocaml-autoconf-1.1-30.fc37

ocaml-base-0.15.0-5.fc37

ocaml-base64-3.5.0-6.fc37

ocaml-benchmark-1.5-24.fc37

ocaml-bigarray-compat-1.1.0-2.fc37

ocaml-biniou-1.2.1-20.fc37

ocaml-bin-prot-0.15.0-5.fc37

ocaml-bisect-ppx-2.8.1-2.fc37

ocaml-bos-0.2.1-4.fc37

ocaml-cairo-0.6.2-7.fc37

ocaml-calendar-2.04-43.fc37

ocaml-camlbz2-0.7.0-6.fc37

ocaml-camlidl-1.09-11.fc37

ocaml-camlimages-5.0.4-7.fc37

ocaml-camlp5-8.00.03-1.fc37

ocaml-camomile-1.0.2-21.fc37

ocaml-charinfo-width-1.1.0-22.fc37

ocaml-cil-1.7.3-74.fc37

ocaml-cinaps-0.15.1-7.fc37

ocaml-cmdliner-1.0.4-24.fc37

ocaml-compiler-libs-janestreet-0.12.4-7.fc37

ocaml-cppo-1.6.8-4.fc37

ocaml-cryptokit-1.16.1-9.fc37

ocaml-csexp-1.5.1-7.fc37

ocaml-csv-2.4-5.fc37

ocaml-ctypes-0.20.1-2.fc37

ocaml-cudf-0.9-32.fc37

ocaml-curl-0.9.1-17.fc37

ocaml-curses-1.0.4-26.fc37

ocaml-dbus-0.30-42.fc37

ocaml-dose3-7.0.0-8.fc37

ocaml-dune-2.9.3-3.fc37

ocaml-easy-format-1.3.2-19.fc37

ocaml-expat-0.9.1-76.fc37

ocaml-extlib-1.7.8-9.fc37

ocaml-facile-1.1-74.fc37

ocaml-fieldslib-0.15.0-5.fc37

ocaml-fileutils-0.5.2-32.fc37

ocaml-findlib-1.9.5-1.fc37

ocaml-fmt-0.9.0-2.fc37

ocaml-fpath-0.7.3-8.fc37

ocaml-gen-1.0-2.fc37

ocaml-gettext-0.4.2-8.fc37

ocaml-graphics-5.1.2-6.fc37

ocaml-gsl-1.19.1-41.fc37

ocamlify-0.0.2-31.fc37

ocaml-integers-0.7.0-2.fc37

ocaml-jane-street-headers-0.15.0-5.fc37

ocaml-jst-config-0.15.1-2.fc37

ocaml-lablgl-1.06-25.fc37

ocaml-lablgtk-2.18.12-4.fc37

ocaml-lablgtk3-3.1.2-4.fc37

ocaml-labltk-8.06.11-4.fc37

ocaml-lacaml-11.0.8-2.fc37

ocaml-lambda-term-3.1.0-14.fc37

ocaml-libvirt-0.6.1.6-2.fc37

ocaml-logs-0.7.0-4.fc37

ocaml-luv-0.5.11-4.fc37

ocaml-lwt-5.4.2-9.fc37

ocaml-lwt-log-1.1.1-22.fc37

ocaml-markup-1.0.3-2.fc37

ocaml-mccs-1.1-37.14.fc37

ocaml-mdx-2.1.0-3.fc37

ocaml-menhir-20220210-6.fc37

ocaml-merlin-4.5-2.fc37

ocaml-mew-0.1.0-14.fc37

ocaml-mew-vi-0.5.0-14.fc37

ocaml-migrate-parsetree-2.4.0-1.fc37

ocaml-mlgmpidl-1.2.14-5.fc37

ocaml-mlmpfr-4.1.0-12.fc37

ocaml-mmap-1.1.0-21.fc37

ocamlmod-0.0.9-28.fc37

ocaml-mtime-1.4.0-2.fc37

ocaml-mysql-1.2.2-23.fc37

ocaml-newt-0.9-68.fc37

ocaml-num-1.4-6.fc37

ocaml-obuild-0.1.10-16.fc37

ocaml-ocamlbuild-0.14.0-33.fc37

ocaml-ocamlgraph-2.0.0-8.fc37

ocaml-ocamlnet-4.1.9-7.fc37

ocaml-ocp-indent-1.8.2-13.fc37

ocaml-ocplib-endian-1.2-4.fc37

ocaml-ocplib-simplex-0.4-27.fc37

ocaml-octavius-1.2.2-10.fc37

ocaml-odoc-2.1.0-2.fc37

ocaml-odoc-parser-1.0.0-4.fc37

ocaml-omake-0.10.3-36.fc37

ocaml-opam-file-format-2.1.4-2.fc37

ocaml-ounit-2.2.4-8.fc37

ocaml-parmap-1.2.4-5.fc37

ocaml-parsexp-0.15.0-5.fc37

ocaml-pcre-7.5.0-6.fc37

ocaml-perl4caml-0.9.5-94.fc37

ocaml-postgresql-4.0.1-39.fc37

ocaml-ppx-assert-0.15.0-6.fc37

ocaml-ppx-base-0.15.0-6.fc37

ocaml-ppx-cold-0.15.0-6.fc37

ocaml-ppx-compare-0.15.0-6.fc37

ocaml-ppx-custom-printf-0.15.0-6.fc37

ocaml-ppx-derivers-1.2.1-24.fc37

ocaml-ppx-deriving-5.2.1-14.fc37

ocaml-ppx-deriving-yojson-3.6.1-14.fc37

ocaml-ppx-enumerate-0.15.0-6.fc37

ocaml-ppx-expect-0.15.0-5.fc37

ocaml-ppx-fields-conv-0.15.0-5.fc37

ocaml-ppx-hash-0.15.0-6.fc37

ocaml-ppx-here-0.15.0-6.fc37

ocaml-ppx-inline-test-0.15.0-5.fc37

ocaml-ppx-js-style-0.15.0-6.fc37

ocaml-ppx-let-0.15.0-5.fc37

ocaml-ppxlib-0.26.0-2.fc37

ocaml-ppx-optcomp-0.15.0-6.fc37

ocaml-ppx-sexp-conv-0.15.1-2.fc37

ocaml-ppx-variants-conv-0.15.0-5.fc37

ocaml-psmt2-frontend-0.4.0-4.fc37

ocaml-ptmap-2.0.5-8.fc37

ocaml-pyml-20220615-2.fc37

ocaml-qcheck-0.18.1-2.fc37

ocaml-qtest-2.11.2-8.fc37

ocaml-re-1.10.3-5.fc37

ocaml-react-1.2.1-10.fc37

ocaml-res-5.0.1-2.fc37

ocaml-result-1.5-12.fc37

ocaml-rresult-0.7.0-4.fc37

ocaml-SDL-0.9.1-54.fc37

ocaml-sedlex-2.6-2.fc37

ocaml-seq-0.2.2-9.fc37

ocaml-sexplib0-0.15.1-2.fc37

ocaml-sexplib-0.15.0-5.fc37

ocaml-sha-1.15.1-3.fc37

ocaml-sqlite-5.1.0-2.fc37

ocaml-ssl-0.5.9-20.fc37

ocaml-stdcompat-19-3.fc37

ocaml-stdint-0.7.0-8.fc37

ocaml-stdio-0.15.0-5.fc37

ocaml-time-now-0.15.0-6.fc37

ocaml-topkg-1.0.5-3.fc37

ocaml-tplib-1.3-69.fc37

ocaml-trie-1.0.0-13.fc37

ocaml-tyxml-4.5.0-11.fc37

ocaml-uuidm-0.9.7-19.fc37

ocaml-uutf-1.0.3-2.fc37

ocaml-variantslib-0.15.0-5.fc37

ocaml-version-3.4.0-4.fc37

ocaml-xml-light-2.4-4.fc37

ocaml-xmlm-1.3.0-4.fc37

ocaml-xmlrpc-light-0.6.1-67.fc37

ocaml-yojson-1.7.0-22.fc37

ocaml-zarith-1.12-6.fc37

ocaml-zed-3.1.0-11.fc37

ocaml-zip-1.11-4.fc37

ocaml-zmq-5.1.5-2.fc37

opam-2.1.2-4.fc37

plplot-5.15.0-40.fc37

prooftree-0.13-20.fc37

supermin-5.3.2-3.fc37

utop-2.9.2-2.fc37

virt-top-1.1.1-4.fc37

virt-v2v-2.1.6-2.fc37

why3-1.4.1-3.fc37

z3-4.8.17-3.fc37

zenon-0.8.5-7.fc37

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

0 days

Dates

submitted

7 months ago

in testing

7 months ago

in stable

7 months ago

alt-ergo-2.3.0-5.fc37

apron-0.9.13-11.fc37

brltty-6.5-3.fc37

coccinelle-1.1.1-9.fc37

coq-8.15.2-1.fc37

flocq-3.4.3-3.fc37

frama-c-24.0-7.fc37

gappalib-coq-1.5.1-3.fc37

graphviz-4.0.0-5.fc37

haxe-4.2.5-2.fc37

hevea-2.35-8.fc37

hivex-1.3.21-9.fc37

libguestfs-1.49.2-6.fc37

libnbd-1.13.2-3.fc37

ocaml-4.14.0-1.fc37

ocaml-alcotest-1.5.0-5.fc37

ocaml-ancient-0.9.0-64.fc37

ocaml-astring-0.8.5-10.fc37

ocaml-augeas-0.6-20.fc37

ocaml-autoconf-1.1-30.fc37

ocaml-base-0.15.0-5.fc37

ocaml-base64-3.5.0-6.fc37

ocaml-benchmark-1.5-24.fc37

ocaml-bigarray-compat-1.1.0-2.fc37

ocaml-biniou-1.2.1-20.fc37

ocaml-bin-prot-0.15.0-5.fc37

ocaml-bisect-ppx-2.8.1-2.fc37

ocaml-bos-0.2.1-4.fc37

ocaml-cairo-0.6.2-7.fc37

ocaml-calendar-2.04-43.fc37

ocaml-camlbz2-0.7.0-6.fc37

ocaml-camlidl-1.09-11.fc37

ocaml-camlimages-5.0.4-7.fc37

ocaml-camlp5-8.00.03-1.fc37

ocaml-camomile-1.0.2-21.fc37

ocaml-charinfo-width-1.1.0-22.fc37

ocaml-cil-1.7.3-74.fc37

ocaml-cinaps-0.15.1-7.fc37

ocaml-cmdliner-1.0.4-24.fc37

ocaml-compiler-libs-janestreet-0.12.4-7.fc37

ocaml-cppo-1.6.8-4.fc37

ocaml-cryptokit-1.16.1-9.fc37

ocaml-csexp-1.5.1-7.fc37

ocaml-csv-2.4-5.fc37

ocaml-ctypes-0.20.1-2.fc37

ocaml-cudf-0.9-32.fc37

ocaml-curl-0.9.1-17.fc37

ocaml-curses-1.0.4-26.fc37

ocaml-dbus-0.30-42.fc37

ocaml-dose3-7.0.0-8.fc37

ocaml-dune-2.9.3-3.fc37

ocaml-easy-format-1.3.2-19.fc37

ocaml-expat-0.9.1-76.fc37

ocaml-extlib-1.7.8-9.fc37

ocaml-facile-1.1-74.fc37

ocaml-fieldslib-0.15.0-5.fc37

ocaml-fileutils-0.5.2-32.fc37

ocaml-findlib-1.9.5-1.fc37

ocaml-fmt-0.9.0-2.fc37

ocaml-fpath-0.7.3-8.fc37

ocaml-gen-1.0-2.fc37

ocaml-gettext-0.4.2-8.fc37

ocaml-graphics-5.1.2-6.fc37

ocaml-gsl-1.19.1-41.fc37

ocamlify-0.0.2-31.fc37

ocaml-integers-0.7.0-2.fc37

ocaml-jane-street-headers-0.15.0-5.fc37

ocaml-jst-config-0.15.1-2.fc37

ocaml-lablgl-1.06-25.fc37

ocaml-lablgtk-2.18.12-4.fc37

ocaml-lablgtk3-3.1.2-4.fc37

ocaml-labltk-8.06.11-4.fc37

ocaml-lacaml-11.0.8-2.fc37

ocaml-lambda-term-3.1.0-14.fc37

ocaml-libvirt-0.6.1.6-2.fc37

ocaml-logs-0.7.0-4.fc37

ocaml-luv-0.5.11-4.fc37

ocaml-lwt-5.4.2-9.fc37

ocaml-lwt-log-1.1.1-22.fc37

ocaml-markup-1.0.3-2.fc37

ocaml-mccs-1.1-37.14.fc37

ocaml-mdx-2.1.0-3.fc37

ocaml-menhir-20220210-6.fc37

ocaml-merlin-4.5-2.fc37

ocaml-mew-0.1.0-14.fc37

ocaml-mew-vi-0.5.0-14.fc37

ocaml-migrate-parsetree-2.4.0-1.fc37

ocaml-mlgmpidl-1.2.14-5.fc37

ocaml-mlmpfr-4.1.0-12.fc37

ocaml-mmap-1.1.0-21.fc37

ocamlmod-0.0.9-28.fc37

ocaml-mtime-1.4.0-2.fc37

ocaml-mysql-1.2.2-23.fc37

ocaml-newt-0.9-68.fc37

ocaml-num-1.4-6.fc37

ocaml-obuild-0.1.10-16.fc37

ocaml-ocamlbuild-0.14.0-33.fc37

ocaml-ocamlgraph-2.0.0-8.fc37

ocaml-ocamlnet-4.1.9-7.fc37

ocaml-ocp-indent-1.8.2-13.fc37

ocaml-ocplib-endian-1.2-4.fc37

ocaml-ocplib-simplex-0.4-27.fc37

ocaml-octavius-1.2.2-10.fc37

ocaml-odoc-2.1.0-2.fc37

ocaml-odoc-parser-1.0.0-4.fc37

ocaml-omake-0.10.3-36.fc37

ocaml-opam-file-format-2.1.4-2.fc37

ocaml-ounit-2.2.4-8.fc37

ocaml-parmap-1.2.4-5.fc37

ocaml-parsexp-0.15.0-5.fc37

ocaml-pcre-7.5.0-6.fc37

ocaml-perl4caml-0.9.5-94.fc37

ocaml-postgresql-4.0.1-39.fc37

ocaml-ppx-assert-0.15.0-6.fc37

ocaml-ppx-base-0.15.0-6.fc37

ocaml-ppx-cold-0.15.0-6.fc37

ocaml-ppx-compare-0.15.0-6.fc37

ocaml-ppx-custom-printf-0.15.0-6.fc37

ocaml-ppx-derivers-1.2.1-24.fc37

ocaml-ppx-deriving-5.2.1-14.fc37

ocaml-ppx-deriving-yojson-3.6.1-14.fc37

ocaml-ppx-enumerate-0.15.0-6.fc37

ocaml-ppx-expect-0.15.0-5.fc37

ocaml-ppx-fields-conv-0.15.0-5.fc37

ocaml-ppx-hash-0.15.0-6.fc37

ocaml-ppx-here-0.15.0-6.fc37

ocaml-ppx-inline-test-0.15.0-5.fc37

ocaml-ppx-js-style-0.15.0-6.fc37

ocaml-ppx-let-0.15.0-5.fc37

ocaml-ppxlib-0.26.0-2.fc37

ocaml-ppx-optcomp-0.15.0-6.fc37

ocaml-ppx-sexp-conv-0.15.1-2.fc37

ocaml-ppx-variants-conv-0.15.0-5.fc37

ocaml-psmt2-frontend-0.4.0-4.fc37

ocaml-ptmap-2.0.5-8.fc37

ocaml-pyml-20220615-2.fc37

ocaml-qcheck-0.18.1-2.fc37

ocaml-qtest-2.11.2-8.fc37

ocaml-re-1.10.3-5.fc37

ocaml-react-1.2.1-10.fc37

ocaml-res-5.0.1-2.fc37

ocaml-result-1.5-12.fc37

ocaml-rresult-0.7.0-4.fc37

ocaml-SDL-0.9.1-54.fc37

ocaml-sedlex-2.6-2.fc37

ocaml-seq-0.2.2-9.fc37

ocaml-sexplib0-0.15.1-2.fc37

ocaml-sexplib-0.15.0-5.fc37

ocaml-sha-1.15.1-3.fc37

ocaml-sqlite-5.1.0-2.fc37

ocaml-ssl-0.5.9-20.fc37

ocaml-stdcompat-19-3.fc37

ocaml-stdint-0.7.0-8.fc37

ocaml-stdio-0.15.0-5.fc37

ocaml-time-now-0.15.0-6.fc37

ocaml-topkg-1.0.5-3.fc37

ocaml-tplib-1.3-69.fc37

ocaml-trie-1.0.0-13.fc37

ocaml-tyxml-4.5.0-11.fc37

ocaml-uuidm-0.9.7-19.fc37

ocaml-uutf-1.0.3-2.fc37

ocaml-variantslib-0.15.0-5.fc37

ocaml-version-3.4.0-4.fc37

ocaml-xml-light-2.4-4.fc37

ocaml-xmlm-1.3.0-4.fc37

ocaml-xmlrpc-light-0.6.1-67.fc37

ocaml-yojson-1.7.0-22.fc37

ocaml-zarith-1.12-6.fc37

ocaml-zed-3.1.0-11.fc37

ocaml-zip-1.11-4.fc37

ocaml-zmq-5.1.5-2.fc37

opam-2.1.2-4.fc37

plplot-5.15.0-40.fc37

prooftree-0.13-20.fc37

supermin-5.3.2-3.fc37

utop-2.9.2-2.fc37

virt-top-1.1.1-4.fc37

virt-v2v-2.1.6-2.fc37

why3-1.4.1-3.fc37

z3-4.8.17-3.fc37

zenon-0.8.5-7.fc37

Automated Test Results

ignored