FEDORA-2019-2e0b2d6395 — enhancement update for alt-ergo, apron, & 75 more

alt-ergo-2.0.0-6.fc32, apron-0.9.11-31.1104.svn20180624.fc32, & 75 more

FEDORA-2019-2e0b2d6395 created by rjones 6 months ago for Fedora 32

stable

OCaml 4.09.0 has been released and most OCaml packages have been rebuilt on top of this new version.

How to install

sudo dnf upgrade --advisory=FEDORA-2019-2e0b2d6395

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

6 months ago

rjones commented 6 months ago

I have tested the compiler and it WFM.

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

6 months ago

This update can be pushed to stable now if the maintainer wishes

6 months ago

This update has been submitted for stable by bodhi

6 months ago

Please login to add feedback.

Metadata

Type

enhancement

Severity

medium

Karma

Signed

Content Type

RPM

Test Gating

Builds

alt-ergo-2.0.0-6.fc32

apron-0.9.11-31.1104.svn20180624.fc32

brltty-6.0-9.fc32

coccinelle-1.0.8-2.fc32

coq-8.9.1-9.fc32

flocq-3.2.0-3.fc32

gappalib-coq-1.4.2-3.fc32

graphviz-2.42.2-4.fc32

hevea-2.32-8.fc32

hivex-1.3.18-14.fc32

ocaml-4.09.0-2.fc32

ocaml-ancient-0.9.0-46.fc32

ocaml-base64-2.1.2-20.fc32

ocaml-biniou-1.2.1-2.fc32

ocaml-cairo-0.4.7-0.26.gitbe5a298.fc32

ocaml-calendar-2.04-24.fc32

ocaml-camlidl-1.05-55.fc32

ocaml-camlp5-7.10-1.fc32

ocaml-camomile-1.0.2-4.fc32

ocaml-charinfo-width-1.1.0-5.fc32

ocaml-cil-1.7.3-53.fc32

ocaml-cmdliner-1.0.4-5.fc32

ocaml-cppo-1.6.5-6.fc32

ocaml-cryptokit-1.11-19.fc32

ocaml-csv-1.7-13.fc32

ocaml-cudf-0.9-13.fc32

ocaml-curses-1.0.4-8.fc32

ocaml-dbus-0.30-23.fc32

ocaml-dune-1.11.0-4.fc32

ocaml-easy-format-1.3.2-2.fc32

ocaml-expat-0.9.1-58.fc32

ocaml-extlib-1.7.5-11.fc32

ocaml-facile-1.1-56.fc32

ocaml-fileutils-0.5.2-12.fc32

ocaml-findlib-1.8.1-7.fc32

ocaml-gettext-0.3.8-0.2.git3aecf8e5350f.fc32

ocaml-gsl-1.19.1-22.fc32

ocamlify-0.0.2-13.fc32

ocaml-lablgl-1.06-5.fc32

ocaml-lablgtk-2.18.8-6.fc32

ocaml-labltk-8.06.5-8.fc32

ocaml-lacaml-9.3.2-12.fc32

ocaml-libvirt-0.6.1.5-3.fc32

ocaml-mccs-1.1-19.10.fc32

ocaml-menhir-20190924-4.fc32

ocaml-mlgmpidl-1.2.11-3.fc32

ocaml-mmap-1.1.0-4.fc32

ocamlmod-0.0.9-10.fc32

ocaml-mysql-1.2.2-4.fc32

ocaml-newt-0.9-49.fc32

ocaml-num-1.1-16.fc32

ocaml-oasis-0.4.11-13.fc32

ocaml-ocamlbuild-0.14.0-7.fc32

ocaml-ocamlgraph-1.8.8-11.fc32

ocaml-ocp-indent-1.7.0-5.fc32

ocaml-ocplib-simplex-0.4-6.fc32

ocaml-omake-0.10.3-16.fc32

ocaml-opam-file-format-2.0.0-7.fc32

ocaml-ounit-2.0.8-11.fc32

ocaml-pcre-7.2.3-20.fc32

ocaml-perl4caml-0.9.5-71.fc32

ocaml-postgresql-4.0.1-20.fc32

ocaml-re-1.9.0-7.fc32

ocaml-react-1.2.0-22.fc32

ocaml-res-4.0.7-20.fc32

ocaml-result-1.2-14.fc32

ocaml-SDL-0.9.1-36.fc32

ocaml-seq-0.1-6.fc32

ocaml-sqlite-4.1.3-4.fc32

ocaml-ssl-0.5.9-3.fc32

ocaml-xml-light-2.3-0.38.svn234.fc32

ocaml-xmlm-1.2.0-36.fc32

ocaml-yojson-1.7.0-4.fc32

ocaml-zarith-1.9.1-2.fc32

ocaml-zed-2.0.3-3.fc32

ocaml-zip-1.06-20.fc32

virt-top-1.0.9-3.fc32

Settings

Unstable by Karma

-3

Stable by Karma

Dates

submitted

6 months ago

in testing

6 months ago

in stable

6 months ago

alt-ergo-2.0.0-6.fc32
apron-0.9.11-31.1104.svn20180624.fc32
brltty-6.0-9.fc32
coccinelle-1.0.8-2.fc32
coq-8.9.1-9.fc32
flocq-3.2.0-3.fc32
gappalib-coq-1.4.2-3.fc32
graphviz-2.42.2-4.fc32
hevea-2.32-8.fc32
hivex-1.3.18-14.fc32
ocaml-4.09.0-2.fc32
ocaml-ancient-0.9.0-46.fc32
ocaml-base64-2.1.2-20.fc32
ocaml-biniou-1.2.1-2.fc32
ocaml-cairo-0.4.7-0.26.gitbe5a298.fc32
ocaml-calendar-2.04-24.fc32
ocaml-camlidl-1.05-55.fc32
ocaml-camlp5-7.10-1.fc32
ocaml-camomile-1.0.2-4.fc32
ocaml-charinfo-width-1.1.0-5.fc32
ocaml-cil-1.7.3-53.fc32
ocaml-cmdliner-1.0.4-5.fc32
ocaml-cppo-1.6.5-6.fc32
ocaml-cryptokit-1.11-19.fc32
ocaml-csv-1.7-13.fc32
ocaml-cudf-0.9-13.fc32
ocaml-curses-1.0.4-8.fc32
ocaml-dbus-0.30-23.fc32
ocaml-dune-1.11.0-4.fc32
ocaml-easy-format-1.3.2-2.fc32
ocaml-expat-0.9.1-58.fc32
ocaml-extlib-1.7.5-11.fc32
ocaml-facile-1.1-56.fc32
ocaml-fileutils-0.5.2-12.fc32
ocaml-findlib-1.8.1-7.fc32
ocaml-gettext-0.3.8-0.2.git3aecf8e5350f.fc32
ocaml-gsl-1.19.1-22.fc32
ocamlify-0.0.2-13.fc32
ocaml-lablgl-1.06-5.fc32
ocaml-lablgtk-2.18.8-6.fc32
ocaml-labltk-8.06.5-8.fc32
ocaml-lacaml-9.3.2-12.fc32
ocaml-libvirt-0.6.1.5-3.fc32
ocaml-mccs-1.1-19.10.fc32
ocaml-menhir-20190924-4.fc32
ocaml-mlgmpidl-1.2.11-3.fc32
ocaml-mmap-1.1.0-4.fc32
ocamlmod-0.0.9-10.fc32
ocaml-mysql-1.2.2-4.fc32
ocaml-newt-0.9-49.fc32
ocaml-num-1.1-16.fc32
ocaml-oasis-0.4.11-13.fc32
ocaml-ocamlbuild-0.14.0-7.fc32
ocaml-ocamlgraph-1.8.8-11.fc32
ocaml-ocp-indent-1.7.0-5.fc32
ocaml-ocplib-simplex-0.4-6.fc32
ocaml-omake-0.10.3-16.fc32
ocaml-opam-file-format-2.0.0-7.fc32
ocaml-ounit-2.0.8-11.fc32
ocaml-pcre-7.2.3-20.fc32
ocaml-perl4caml-0.9.5-71.fc32
ocaml-postgresql-4.0.1-20.fc32
ocaml-re-1.9.0-7.fc32
ocaml-react-1.2.0-22.fc32
ocaml-res-4.0.7-20.fc32
ocaml-result-1.2-14.fc32
ocaml-SDL-0.9.1-36.fc32
ocaml-seq-0.1-6.fc32
ocaml-sqlite-4.1.3-4.fc32
ocaml-ssl-0.5.9-3.fc32
ocaml-xml-light-2.3-0.38.svn234.fc32
ocaml-xmlm-1.2.0-36.fc32
ocaml-yojson-1.7.0-4.fc32
ocaml-zarith-1.9.1-2.fc32
ocaml-zed-2.0.3-3.fc32
ocaml-zip-1.06-20.fc32
virt-top-1.0.9-3.fc32

How to install

Automated Test Results