stable

alt-ergo-2.0.0-7.fc32, apron-0.9.11-33.1104.svn20180624.fc32, & 99 more

FEDORA-2020-31b7df12c2 created by rjones 4 years ago for Fedora 32

OCaml 4.10.0 beta 1.

The following packages could not be built and will be fixed at a later date (there are bugs open for all these issues):

  • ocaml-base + dependent packages
  • ocaml-lwt + dependent packages
  • coq + dependent packages
  • plplot
  • z3
  • coccinelle
  • opam

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-2020-31b7df12c2

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

4 years ago

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

4 years ago

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

4 years ago

This update has been submitted for stable by bodhi

4 years ago

Please login to add feedback.

Metadata
Type
unspecified
Karma
0
Signed
Content Type
RPM
Test Gating
Builds
101
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago

Automated Test Results