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

OCaml 4.14.0 update in Fedora 37

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-2022-d3e15b41f5

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

2 years ago

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

2 years ago

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

2 years ago

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

2 years ago

This update has been submitted for stable by bodhi

2 years ago

Please login to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

ignored

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

0 days

Dates

submitted

2 years ago

in testing

2 years ago

in stable

2 years ago

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

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

How to install

Automated Test Results